Possible worlds semantics based on observation and communication

DOI10.1007/978-3-319-62864-6_14zbMATH Open1437.03066OpenAlexW2794324207MaRDI QIDQ3299583FDOQ3299583

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

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

zbMATH Keywords

communicationobservabilityepistemic logicvisibilitypossible worldspublic announcement

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Dynamic epistemic logic
• Logics of public communications
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• Title not available (Why is that?)
• A Cure for the Telephone Disease
• On the logic of cooperation and propositional control
• Seeing is believing. And so are hearing and jumping
• Gossips and telephones
• Knowledge in multiagent systems: initial configurations and broadcast
• How to share knowledge by gossiping
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• 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

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)