Dealing with logical omniscience: expressiveness and pragmatics

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

zbMATH Keywords

probabilityknowledgelogicawarenesslogical omniscienceimpossible worlds

Mathematics Subject Classification ID

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