Logical omniscience as infeasibility

DOI10.1016/J.APAL.2013.07.003zbMATH OpenNoneOpenAlexW2065653710MaRDI QIDQ392271FDOQ392271

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

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

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)

Cites Work

• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Dynamic Epistemic Logic and Knowledge Puzzles
• Title not available (Why is that?)
• Title not available (Why is that?)
• A nonstandard approach to the logical omniscience problem
• Explicit provability and constructive semantics
• A guide to completeness and complexity for modal logics of knowledge and belief
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Resource-bounded reasoning about knowledge
• Logic for coalitions with bounded resources
• Temporalizing modal epistemic logic
• Sentences, belief and logical omniscience, or what does deduction tell us?
• Logical Omniscience Via Proof Complexity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dealing with logical omniscience: expressiveness and pragmatics
• Universal grammar

Cited In (10)

• Ideal rationality and logical omniscience
• Semirings of Evidence
• Title not available (Why is that?)
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• Logical omniscience and the cost of deliberation
• A probabilistic semantics for belief logic
• The fundamental problem of logical omniscience
• Should we embrace impossible worlds due to the flaws of normal modal logic?
• Logical Omniscience Via Proof Complexity
• Title not available (Why is that?)

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)