Logical omniscience as infeasibility

DOI10.1016/J.APAL.2013.07.003MaRDI QIDQ392271zbMATH OpenOpenAlexFDO

Authors Roman Kuznets, Sergei 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

complexity theoryepistemic logicjustification logiclogical omniscience

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) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 757640
• scientific article; zbMATH DE number 2024624
• The fundamental problem of logical omniscience
• Logical omniscience and the cost of deliberation
• scientific article; zbMATH DE number 1292305
• Ideal rationality and logical omniscience
• Impossible worlds and logical omniscience: an impossibility result
• Logical Omniscience Via Proof Complexity
• A nonstandard approach to the logical omniscience problem

Cites work

• scientific article; zbMATH DE number 3821682 (Why is no real title available?)
• scientific article; zbMATH DE number 43239 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 3583767 (Why is no real title available?)
• scientific article; zbMATH DE number 1215500 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 4197469 (Why is no real title available?)
• A general possible worlds framework for reasoning about knowledge and belief
• A guide to completeness and complexity for modal logics of knowledge and belief
• A nonstandard approach to the logical omniscience problem
• Belief, awareness, and limited reasoning
• Dealing with logical omniscience: expressiveness and pragmatics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Explicit provability and constructive semantics
• Impossible possible worlds vindicated
• Logic for coalitions with bounded resources
• Logical Omniscience Via Proof Complexity
• On the complexity of the reflected logic of proofs
• Representing the knowledge of Turing machines
• Resource-bounded reasoning about knowledge
• Sentences, belief and logical omniscience, or what does deduction tell us?
• Temporalizing modal epistemic logic
• Universal grammar

Cited in

(11)

• Semirings of Evidence
• Ideal rationality and logical omniscience
• Logical omniscience and the cost of deliberation
• Logical ignorance and logical learning
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• Logical Omniscience Via Proof Complexity
• The fundamental problem of logical omniscience
• scientific article; zbMATH DE number 757640 (Why is no real title available?)
• A probabilistic semantics for belief logic
• Should we embrace impossible worlds due to the flaws of normal modal logic?
• scientific article; zbMATH DE number 5080926 (Why is no real title available?)

This page was built for publication: Logical omniscience as infeasibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392271)