Cargando...
Fecha
2020-06-01
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editorial
ELSEVIER
Citas
0 citas en 
0 citas en 
Resumen
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.
Descripción
The registered version of this article, first published in “Annals of Pure and Applied Logic, Volume 171, 2020", is available online at the publisher's website: Elsevier, https://doi.org/10.1016/j.apal.2020.102790
La versión registrada de este artículo, publicado por primera vez en “Annals of Pure and Applied Logic, Volume 171, 2020", está disponible en línea en el sitio web del editor: Elsevier, https://doi.org/10.1016/j.apal.2020.102790
La versión registrada de este artículo, publicado por primera vez en “Annals of Pure and Applied Logic, Volume 171, 2020", está disponible en línea en el sitio web del editor: Elsevier, https://doi.org/10.1016/j.apal.2020.102790
Categorías UNESCO
Palabras clave
Dynamic epistemic logic, Bilattices, Modal logic, Algebraic models, Duality
Citación
Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio, Bilattice logic of epistemic actions and knowledge, Annals of Pure and Applied Logic, Volume 171, Issue 6, 2020, 102790, ISSN 0168-0072, https://doi.org/10.1016/j.apal.2020.102790
Centro
Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia