A general possible worlds framework for reasoning about knowledge and belief

DOI10.1007/BF00370163zbMath0744.03028MaRDI QIDQ1814181

Heinrich Wansing

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

epistemic logiclogical omniscienceKripke structures for awarenessmodel theories of knowledge and beliefRantala's non-normal worlds semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Logical omniscience as infeasibility, <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT, The fundamental problem of logical omniscience, \(\in_K\): a non-Fregean logic of explicit knowledge, Hyperintensional logics for everyone, Impossible worlds and the logic of imagination, Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, A fugue on the themes of awareness logic and correspondence, Dynamic Epistemic Logic and Logical Omniscience, Counterfactuals in ``agreeing to disagree type results, A dynamic solution to the problem of logical omniscience, Equivalence of the information structure with unawareness to the logic of awareness, QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS, The effort of reasoning: modelling the inference steps of boundedly rational agents, Dealing with logical omniscience: expressiveness and pragmatics, Two-dimensional awareness logics, Probabilistic unawareness, A nonstandard approach to the logical omniscience problem, A nonstandard approach to the logical omniscience problem, Inconsistency in Ceteris Paribus Imagination, Simple hyperintensional belief revision, Rethinking epistemic logic with belief bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantified modal logic: non-normal worlds and propositional attitudes
• Belief, awareness, and limited reasoning
• Hyperintensional logic
• Impossible possible worlds vindicated
• Intensional logics and logical truth
• Guiding center Hamiltonian theory of free-electron lasers
• Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten