Possible worlds semantics based on observation and communication

DOI10.1007/978-3-319-62864-6_14MaRDI QIDQ3299583zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Emiliano Lorini, Faustine Maffre

Publication date 24 July 2020

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

zbMATH Keywords

communicationobservabilityepistemic logicvisibilitypossible worldspublic announcement

Mathematics Subject Classification ID

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

Recommendations

• A poor man's epistemic logic based on propositional assignment and higher-order observation
• Logic of information flow on communication channels
• Observable models
• A new approach to epistemic logic
• Rethinking epistemic logic with belief bases

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3358479 (Why is no real title available?)
• A Cure for the Telephone Disease
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• Dynamic epistemic logic
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• Gossips and telephones
• How to share knowledge by gossiping
• Knowledge in multiagent systems: initial configurations and broadcast
• Logics of public communications
• On the logic of cooperation and propositional control
• Seeing is believing. And so are hearing and jumping
• Symbolic Model Checking for Dynamic Epistemic Logic

Cited in

(3)

• A poor man's epistemic logic based on propositional assignment and higher-order observation
• A lightweight epistemic logic and its application to planning
• Dynamic epistemic logics for abstract argumentation

Describes a project that uses

Uses Software

• SMCDEL

This page was built for publication: Possible worlds semantics based on observation and communication

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