Epistemic Updates on Algebras
From MaRDI portal
Publication:2871469
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
dualitydynamic epistemic logicalgebraic modelsintuitionistic modal logicintuitionistic dynamic epistemic logic
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
