An exercise on the generation of many-valued dynamic logics

Detalhes bibliográficos
Autor(a) principal: Madeira, Alexandre
Data de Publicação: 2016
Outros Autores: Neves, Renato, Martins, Manuel A.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/16705
Resumo: In the last decades, dynamic logics have been used in different domains as a suitable formalism to reason about and specify a wide range of systems. On the other hand, logics with many-valued semantics are emerging as an interesting tool to handle devices and scenarios where uncertainty is a prime concern. This paper contributes towards the combination of these two aspects through the development of a method for the systematic construction of many-valued dynamic logics. Technically, the method is parameterised by an action lattice that defines both the computational paradigm and the truth space (corresponding to the underlying Kleene algebra and residuated lattices, respectively).
id RCAP_13b3e880c21d714972ebc31e866bb163
oai_identifier_str oai:ria.ua.pt:10773/16705
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling An exercise on the generation of many-valued dynamic logicsDynamic logicMany-valued logicKleene algebraAction latticeIn the last decades, dynamic logics have been used in different domains as a suitable formalism to reason about and specify a wide range of systems. On the other hand, logics with many-valued semantics are emerging as an interesting tool to handle devices and scenarios where uncertainty is a prime concern. This paper contributes towards the combination of these two aspects through the development of a method for the systematic construction of many-valued dynamic logics. Technically, the method is parameterised by an action lattice that defines both the computational paradigm and the truth space (corresponding to the underlying Kleene algebra and residuated lattices, respectively).Elsevier2018-07-20T14:00:57Z2016-08-01T00:00:00Z2016-082017-08-01T19:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/16705eng2352-220810.1016/j.jlamp.2016.03.004Madeira, AlexandreNeves, RenatoMartins, Manuel A.info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-22T11:30:15Zoai:ria.ua.pt:10773/16705Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:51:24.906550Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv An exercise on the generation of many-valued dynamic logics
title An exercise on the generation of many-valued dynamic logics
spellingShingle An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
Dynamic logic
Many-valued logic
Kleene algebra
Action lattice
title_short An exercise on the generation of many-valued dynamic logics
title_full An exercise on the generation of many-valued dynamic logics
title_fullStr An exercise on the generation of many-valued dynamic logics
title_full_unstemmed An exercise on the generation of many-valued dynamic logics
title_sort An exercise on the generation of many-valued dynamic logics
author Madeira, Alexandre
author_facet Madeira, Alexandre
Neves, Renato
Martins, Manuel A.
author_role author
author2 Neves, Renato
Martins, Manuel A.
author2_role author
author
dc.contributor.author.fl_str_mv Madeira, Alexandre
Neves, Renato
Martins, Manuel A.
dc.subject.por.fl_str_mv Dynamic logic
Many-valued logic
Kleene algebra
Action lattice
topic Dynamic logic
Many-valued logic
Kleene algebra
Action lattice
description In the last decades, dynamic logics have been used in different domains as a suitable formalism to reason about and specify a wide range of systems. On the other hand, logics with many-valued semantics are emerging as an interesting tool to handle devices and scenarios where uncertainty is a prime concern. This paper contributes towards the combination of these two aspects through the development of a method for the systematic construction of many-valued dynamic logics. Technically, the method is parameterised by an action lattice that defines both the computational paradigm and the truth space (corresponding to the underlying Kleene algebra and residuated lattices, respectively).
publishDate 2016
dc.date.none.fl_str_mv 2016-08-01T00:00:00Z
2016-08
2017-08-01T19:00:00Z
2018-07-20T14:00:57Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10773/16705
url http://hdl.handle.net/10773/16705
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2352-2208
10.1016/j.jlamp.2016.03.004
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137563720548352

Registros relacionados