A dynamic solution to the problem of logical omniscience

DOI10.1007/s10992-018-9473-2zbMath1457.03008OpenAlexW2884822640WikidataQ129483620 ScholiaQ129483620MaRDI QIDQ2000671

Jens Christian Bjerring, Mattias Skipper

Publication date: 28 June 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-018-9473-2

zbMATH Keywords

bounded rationalityresource-bounded reasoningepistemic logicdoxastic logiclogical omniscienceimpossible worlds

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items

A modal view on resource-bounded propositional logics ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ The fundamental problem of logical omniscience ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ Hyperintensional semantics: a Fregean approach ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ A probabilistic semantics for belief logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical studies of paraconsistent reasoning in science and mathematics
• Problems in epistemic space
• Dynamic epistemic logic
• Impossible possible worlds vindicated
• Impossible worlds: A modest approach
• Impossible worlds and the logic of imagination
• A general possible worlds framework for reasoning about knowledge and belief
• Impossible worlds and logical omniscience: an impossibility result
• Intensional logics and logical truth
• An essay in modal logic
• Dynamic Epistemic Logic and Logical Omniscience
• Reasoning about rational, but not logically omniscient, agents
• Classical intensional logics
• A nonstandard approach to the logical omniscience problem