Epistemic monadic Boolean algebras

DOI10.1007/978-3-031-45558-2_11MaRDI QIDQ6562538

Minghui Ma, Juntong Guo

Publication date: 26 June 2024

zbMATH Keywords

relativizationepistemic logicmonadic Boolean algebra

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• The representation of monadic Boolean algebras
• Varieties of monadic Heyting algebras. I
• First order common knowledge logics
• Modal logic
• Epistemic Updates on Algebras
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Mathematics of Public Announcements
• Logical Dynamics of Information and Interaction
• Probabilistic Epistemic Updates on Algebras
• Dynamic Epistemic Logic and Knowledge Puzzles
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic

This page was built for publication: Epistemic monadic Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562538)