Reasoning about knowledge of unawareness

DOI10.1016/j.geb.2009.02.001zbMath1189.03023OpenAlexW2004807823MaRDI QIDQ1036579

Leandro C. Rêgo, Joseph Y. Halpern

Publication date: 13 November 2009

Published in: Games and Economic Behavior (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.geb.2009.02.001

zbMATH Keywords

modal logicdecidabilitymulti-agent systemaxiomatizationinteractive epistemologyawareness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (31)

Introspective unawareness and observable choice ⋮ A preference model for choice subject to surprise ⋮ Dynamic logics of knowledge and access ⋮ ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY ⋮ Raising awareness without disclosing truth ⋮ Unawareness of theorems ⋮ Cognitive limits and preferences for information ⋮ Implicit Knowledge in Unawareness Structures - Extended Abstract - ⋮ Pragmatic reasoning about unawareness ⋮ Inductive reasoning about unawareness ⋮ Does exposure to unawareness affect risk preferences? A preliminary result ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Guessing the game: an individual's awareness and assessment of a game's existence ⋮ Awareness of unawareness: a theory of decision making in the face of ignorance ⋮ Implicit, explicit and speculative knowledge ⋮ Speculation under unawareness ⋮ Unawareness -- a gentle introduction to both the literature and the special issue ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ Unawareness with ``possible possible worlds ⋮ Preference-based unawareness ⋮ Extensive games with possibly unaware players ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ Equivalence of the information structure with unawareness to the logic of awareness ⋮ Semantics for knowledge and change of awareness ⋮ A logic for reasoning about knowledge of unawareness ⋮ Unforeseen evidence ⋮ Unawareness without AU introspection ⋮ Rethinking epistemic logic with belief bases ⋮ Simple unawareness in dynamic psychological games ⋮ Games with unawareness

Cites Work

• Alternative semantics for unawareness
• Interactive unawareness
• Belief, awareness, and limited reasoning
• Unawareness and partitional information structures
• Awareness and partitional information structures
• A logic for reasoning about probabilities
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Interactive unawareness revisited
• A canonical model for interactive unawareness
• Multi-agent Only Knowing
• Modality and quantification in S5
• A completeness theorem in modal logic
• Propositional quantifiers in modal logic1
• Reasoning about knowledge and probability
• What can machines know?
• Standard State-Space Models Preclude Unawareness
• Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
• On modal logic with propositional quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about knowledge of unawareness