Possible Worlds Semantics Based on Observation and Communication

DOI10.1007/978-3-319-62864-6_14zbMath1437.03066OpenAlexW2794324207MaRDI QIDQ3299583

Emiliano Lorini, Faustine Maffre, Andreas Herzig

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62864-6_14

zbMATH Keywords

communicationobservabilitypossible worldsvisibilityepistemic logicpublic announcement

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Dynamic epistemic logics for abstract argumentation ⋮ A lightweight epistemic logic and its application to planning

Uses Software

• SMCDEL

Cites Work

• Unnamed Item
• Unnamed Item
• Seeing is believing. And so are hearing and jumping
• Dynamic epistemic logic
• On the logic of cooperation and propositional control
• Logics of public communications
• Gossips and telephones
• A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
• Symbolic Model Checking for Dynamic Epistemic Logic
• How to share knowledge by gossiping
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• A Cure for the Telephone Disease
• Knowledge in multiagent systems

This page was built for publication: Possible Worlds Semantics Based on Observation and Communication