Logical omniscience as infeasibility

DOI10.1016/j.apal.2013.07.003zbMathNoneOpenAlexW2065653710MaRDI QIDQ392271

Roman Kuznets, Sergej N. Artemov

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.003

zbMATH Keywords

epistemic logiccomplexity theoryjustification logiclogical omniscience

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Structure of proofs (03F07) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (3)

Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Semirings of Evidence ⋮ A probabilistic semantics for belief logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dealing with logical omniscience: expressiveness and pragmatics
• Belief, awareness, and limited reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• Impossible possible worlds vindicated
• Representing the knowledge of Turing machines
• A general possible worlds framework for reasoning about knowledge and belief
• On the complexity of the reflected logic of proofs
• Explicit Provability and Constructive Semantics
• Logic for coalitions with bounded resources
• Temporalizing Modal Epistemic Logic
• SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
• Dynamic Epistemic Logic and Knowledge Puzzles
• Logical Omniscience Via Proof Complexity
• Universal grammar
• A nonstandard approach to the logical omniscience problem

This page was built for publication: Logical omniscience as infeasibility