Dealing with logical omniscience

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.

• Type: Conference
• Year: 2007
• Where: TARK
• Authors: Joseph Y. Halpern, Riccardo Pucella
• Keywords: Impossible Possible Worlds, Logical Omniscience Problem, Syntactic Approach, TARK 2007