An exercise on the generation of many-valued dynamic logics

Detalhes bibliográficos
Autor(a) principal: Alexandre Castro Madeira
Data de Publicação: 2016
Outros Autores: Renato Jorge Neves, Martins,MA
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://repositorio.inesctec.pt/handle/123456789/6302
http://dx.doi.org/10.1016/j.jlamp.2016.03.004
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_6e620b0410d03cf497d48f49fe0acff1
oai_identifier_str oai:repositorio.inesctec.pt:123456789/6302
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 logicsIn 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).2018-01-16T11:01:18Z2016-01-01T00:00:00Z2016info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/6302http://dx.doi.org/10.1016/j.jlamp.2016.03.004engAlexandre Castro MadeiraRenato Jorge NevesMartins,MAinfo: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:RCAAP2023-05-15T10:20:35Zoai:repositorio.inesctec.pt:123456789/6302Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:53:21.637324Repositó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
Alexandre Castro Madeira
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 Alexandre Castro Madeira
author_facet Alexandre Castro Madeira
Renato Jorge Neves
Martins,MA
author_role author
author2 Renato Jorge Neves
Martins,MA
author2_role author
author
dc.contributor.author.fl_str_mv Alexandre Castro Madeira
Renato Jorge Neves
Martins,MA
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-01-01T00:00:00Z
2016
2018-01-16T11:01:18Z
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://repositorio.inesctec.pt/handle/123456789/6302
http://dx.doi.org/10.1016/j.jlamp.2016.03.004
url http://repositorio.inesctec.pt/handle/123456789/6302
http://dx.doi.org/10.1016/j.jlamp.2016.03.004
dc.language.iso.fl_str_mv eng
language eng
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.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_ 1799131607661019136

Registros relacionados