A poor man's epistemic logic based on propositional assignment and higher-order observation

DOI10.1007/978-3-662-48561-3_13MaRDI QIDQ3457699zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Emiliano Lorini, Faustine Maffre

Publication date 17 December 2015

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48561-3_13

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Possible worlds semantics based on observation and communication
• `Knowable' as `known after an announcement'
• Logics for epistemic programs
• Epistemic logics with structured knowledge
• A Dynamic Epistemic Logic with a Knowability Principle

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agents that look at one another
• Contingency and knowing whether
• Dynamic epistemic logic
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• Gossips and telephones
• Propositional dynamic logic of regular programs

Cited in

(13)

• Possible worlds semantics based on observation and communication
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• A computationally grounded logic of graded belief
• Beyond knowing that: a new generation of epistemic logics
• Adding proof calculi to epistemic logics with structured knowledge
• A logic for binary classifiers and their explanation
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
• Efficient reasoning about knowledge and common knowledge
• Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
• A lightweight epistemic logic and its application to planning
• Epistemic protocols for dynamic gossip
• Epistemic logics with structured knowledge
• Program models and semi-public environments

This page was built for publication: A poor man's epistemic logic based on propositional assignment and higher-order observation

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