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

DOI10.1007/978-3-662-48561-3_13zbMATH Open1471.03029OpenAlexW2293105416MaRDI QIDQ3457699FDOQ3457699

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

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

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)

Cites Work

• Propositional dynamic logic of regular programs
• Title not available (Why is that?)
• Dynamic epistemic logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agents that look at one another
• Gossips and telephones
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• Contingency and knowing whether

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
• Efficient reasoning about knowledge and common knowledge
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
• 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
• Program models and semi-public environments
• Epistemic logics with structured knowledge

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)