Epistemic Updates on Algebras

DOI10.2168/LMCS-9(4:17)2013zbMath1330.03035arXiv1307.0417OpenAlexW2058964903MaRDI QIDQ2871469

Alessandra Palmigiano, Alexander Kurz

Publication date: 8 January 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.0417

zbMATH Keywords

dualitydynamic epistemic logicalgebraic modelsintuitionistic modal logicintuitionistic dynamic epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Stone spaces (Boolean spaces) and related structures (06E15)

Related Items (17)

Probabilistic Epistemic Updates on Algebras ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Epistemic Updates on Bilattices ⋮ On inverse operators in dynamic epistemic logic ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Graded epistemic logic with public announcement ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Categories for Dynamic Epistemic Logic ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Rough concepts ⋮ Łukasiewicz Public Announcement Logic ⋮ Unnamed Item ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Reasoning about distributed information with infinitely many agents ⋮ Unnamed Item ⋮ A family of graded epistemic logics

This page was built for publication: Epistemic Updates on Algebras