Dealing with logical omniscience: expressiveness and pragmatics
From MaRDI portal
Publication:543593
DOI10.1016/J.ARTINT.2010.04.009zbMath1216.68267OpenAlexW2058889108MaRDI QIDQ543593
Riccardo Pucella, Joseph Y. Halpern
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.009
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (17)
Relating Semantics for Epistemic Logic ⋮ Logical omniscience as infeasibility ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Justification logic with confidence ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Maintaining awareness using policies; Enabling agents to identify relevance of information ⋮ A logic of knowing why ⋮ Pragmatic reasoning about unawareness ⋮ Unnamed Item ⋮ A methodology to develop awareness in computer supported collaborative work using policies ⋮ An omniscience-free temporal logic of knowledge for verifying authentication protocols ⋮ Implicit, explicit and speculative knowledge ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ John McCarthy's legacy ⋮ Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism ⋮ Impossible worlds and partial belief ⋮ PEOPLE WITH COMMON PRIORS CAN AGREE TO DISAGREE
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Alternative semantics for unawareness
- Interactive unawareness
- Belief, awareness, and limited reasoning
- Programming simultaneous actions using common knowledge
- Urn models: A new kind of non-standard model for first-order logic
- Impossible possible worlds vindicated
- Unawareness and partitional information structures
- Awareness and partitional information structures
- A logic for reasoning about probabilities
- A general possible worlds framework for reasoning about knowledge and belief
- A logic of believing, knowing, and inferring
- On the security of public key protocols
- Decision Theory without Logical Omniscience: Toward an Axiomatic Framework for Bounded Rationality
- Reasoning about knowledge and probability
- Standard State-Space Models Preclude Unawareness
- Deductive Algorithmic Knowledge
This page was built for publication: Dealing with logical omniscience: expressiveness and pragmatics