Publicación:
Bilattice logic of epistemic actions and knowledge

Vista sencilla de ítem
dc.contributor.authorBakhtiari, Zeinab
dc.contributor.authorDitmarsch, Hans van
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2025-10-29T10:13:11Z
dc.date.available2025-10-29T10:13:11Z
dc.date.issued2020-06-01
dc.descriptionThe 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
dc.descriptionLa 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
dc.description.abstractBaltag, 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.en
dc.description.versionversión final
dc.identifier.citationZeinab 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
dc.identifier.doihttps://doi.org/10.1016/j.apal.2020.102790
dc.identifier.issn0168-0072 | eISSN 1873-2461
dc.identifier.urihttps://hdl.handle.net/20.500.14468/30674
dc.journal.issue6
dc.journal.titleAnnals of Pure and Applied Logic
dc.journal.volume171
dc.language.isoen
dc.page.initial102790
dc.publisherELSEVIER
dc.relation.centerFacultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject72 Filosofía
dc.subject11 Lógica
dc.subject.keywordsDynamic epistemic logicen
dc.subject.keywordsBilatticesen
dc.subject.keywordsModal logicen
dc.subject.keywordsAlgebraic modelsen
dc.subject.keywordsDualityen
dc.titleBilattice logic of epistemic actions and knowledgeen
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_Bilattice_UMBERTO RIVIECCIO.pdf
Tamaño:
528.13 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers