Bilattice logic of epistemic actions and knowledge

Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic ch...

ver descrição completa

Detalhes bibliográficos
Autores: Bakhtiari, Zeinab, Ditmarsch, Hans van, Rivieccio, Umberto
Tipo de documento: artigo
Data de publicação:2020
País:España
Recursos:Universidad Nacional de Educación a Distancia
Repositório:e-spacio. Repositorio Institucional de la UNED
Idioma:inglês
OAI Identifier:oai:e-spacio.uned.es:20.500.14468/30674
Acesso em linha:https://hdl.handle.net/20.500.14468/30674
Access Level:Acceso aberto
Palavra-chave:72 Filosofía
11 Lógica
Dynamic epistemic logic
Bilattices
Modal logic
Algebraic models
Duality
id ES_14c6f824686aedfa8439693f3074d5ec
oai_identifier_str oai:e-spacio.uned.es:20.500.14468/30674
network_acronym_str ES
network_name_str España
repository_id_str
spelling Bilattice logic of epistemic actions and knowledgeBakhtiari, ZeinabDitmarsch, Hans vanRivieccio, Umberto72 Filosofía11 LógicaDynamic epistemic logicBilatticesModal logicAlgebraic modelsDualityBaltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and Palmigiano can be further extended to define and axiomatize a bilattice logic of epistemic actions and knowledge (BEAK). Our propositional basis is a modal expansion of the well-known four-valued logic of Belnap and Dunn, which is a system designed for handling inconsistent as well as potentially conflicting information. These features, we believe, make our framework particularly promising from a computer science perspective.ELSEVIERe-Spacio UNED20252025-10-2920202020-06-0120202020-06-01journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14468/30674reponame:e-spacio. Repositorio Institucional de la UNEDinstname:Universidad Nacional de Educación a DistanciaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.esoai:e-spacio.uned.es:20.500.14468/306742026-06-06T12:38:31Z
dc.title.none.fl_str_mv Bilattice logic of epistemic actions and knowledge
title Bilattice logic of epistemic actions and knowledge
spellingShingle Bilattice logic of epistemic actions and knowledge
Bakhtiari, Zeinab
72 Filosofía
11 Lógica
Dynamic epistemic logic
Bilattices
Modal logic
Algebraic models
Duality
title_short Bilattice logic of epistemic actions and knowledge
title_full Bilattice logic of epistemic actions and knowledge
title_fullStr Bilattice logic of epistemic actions and knowledge
title_full_unstemmed Bilattice logic of epistemic actions and knowledge
title_sort Bilattice logic of epistemic actions and knowledge
dc.creator.none.fl_str_mv Bakhtiari, Zeinab
Ditmarsch, Hans van
Rivieccio, Umberto
author Bakhtiari, Zeinab
author_facet Bakhtiari, Zeinab
Ditmarsch, Hans van
Rivieccio, Umberto
author_role author
author2 Ditmarsch, Hans van
Rivieccio, Umberto
author2_role author
author
dc.contributor.none.fl_str_mv e-Spacio UNED
dc.subject.none.fl_str_mv 72 Filosofía
11 Lógica
Dynamic epistemic logic
Bilattices
Modal logic
Algebraic models
Duality
topic 72 Filosofía
11 Lógica
Dynamic epistemic logic
Bilattices
Modal logic
Algebraic models
Duality
description Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and Palmigiano can be further extended to define and axiomatize a bilattice logic of epistemic actions and knowledge (BEAK). Our propositional basis is a modal expansion of the well-known four-valued logic of Belnap and Dunn, which is a system designed for handling inconsistent as well as potentially conflicting information. These features, we believe, make our framework particularly promising from a computer science perspective.
publishDate 2020
dc.date.none.fl_str_mv 2020
2020-06-01
2020
2020-06-01
2025
2025-10-29
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14468/30674
url https://hdl.handle.net/20.500.14468/30674
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
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:e-spacio. Repositorio Institucional de la UNED
instname:Universidad Nacional de Educación a Distancia
instname_str Universidad Nacional de Educación a Distancia
reponame_str e-spacio. Repositorio Institucional de la UNED
collection e-spacio. Repositorio Institucional de la UNED
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869403755929141248
score 15,812455

Registros relacionados