Dynamic Epistemic Logic and Logical Omniscience

DOI10.12775/LLP.2015.014zbMath1375.03018OpenAlexW1946994797MaRDI QIDQ2987746

Mattias Skipper Rasmussen

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2015.014

zbMATH Keywords

resource-bounded reasoningepistemic logicdynamic epistemic logiclogical omniscience

Mathematics Subject Classification ID

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

Related Items

Hyperintensional semantics: a Fregean approach, The Dynamic Epistemic Logic for Actual Knowledge, A dynamic solution to the problem of logical omniscience, The effort of reasoning: modelling the inference steps of boundedly rational agents, A probabilistic semantics for belief logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The problem of rational knowledge
• Problems in epistemic space
• Intuitionism. An introduction
• Belief, awareness, and limited reasoning
• The semantics of entailment. II
• The semantics of entailment. III
• Impossible possible worlds vindicated
• A general possible worlds framework for reasoning about knowledge and belief
• Impossible worlds and logical omniscience: an impossibility result
• Intensional logics and logical truth
• The Dynamics of Syntactic Knowledge
• Reasoning about rational, but not logically omniscient, agents
• Classical intensional logics
• A nonstandard approach to the logical omniscience problem