Belief, awareness, and limited reasoning
Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge
A Deduction Model of Belief
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
On epistemic logic with justification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Extensive games with possibly unaware players
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
$${\in_K}$$: a Non-Fregean Logic of Explicit Knowledge
Studia Logica
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
| Hi-index | 0.00 |
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equi-expressive and can capture all epistemic states, in other settings of interest they are not. In particular, adding probabilities to the language allows for finer distinctions between different approaches.