Reasoning about knowledge of unawareness revisited

In earlier work [Halpern and Rêgo 2006b], we proposed a logic that extends the Logic of General Awareness of Fagin and Halpern [1988] by allowing quantification over primitive propositions. This makes it possible to express the fact that an agent knows that there are some facts of which he is unaware. In that logic, it is not possible to model an agent who is uncertain about whether he is aware of all formulas. To overcome this problem, we keep the syntax of the earlier paper, but allow models where, with each world, a possibly different language is associated. We provide a sound and complete axiomatization for this logic and show that, under natural assumptions, the quantifier-free fragment of the logic is characterized by exactly the same axioms as the logic of Heifetz, Meier, and Schipper [2008].

[1]  Yossi Feinberg.  Strategic communication , 2011, TARK XIII.

[2]  Burkhard C. Schipper,et al.  Two Models of Unawareness , 2008 .

[3]  Oliver Board,et al.  Object-Based Unawareness: Theory and Applications , 2009 .

[4]  Leandro Chaves Rêgo,et al.  Reasoning about knowledge of unawareness , 2006, Games Econ. Behav..

[5]  Giacomo Sillari,et al.  QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS , 2008, The Review of Symbolic Logic.

[6]  Kit Fine,et al.  Propositional quantifiers in modal logic1 , 2008 .

[7]  Giacomo Sillari,et al.  Models of Awareness , 2008 .

[8]  Kim-Sau Chung,et al.  Object-Based Unawareness , 2007 .

[9]  Natasha Alechina,et al.  Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness , 2007, TARK '07.

[10]  Burkhard C. Schipper,et al.  A canonical model for interactive unawareness , 2006, TARK '07.

[11]  Leandro Chaves Rêgo,et al.  Extensive games with possibly unaware players , 2006, AAMAS '06.

[12]  Burkhard C. Schipper,et al.  Interactive Unawareness , 2005, J. Econ. Theory.

[13]  Leandro Chaves Rêgo,et al.  Interactive unawareness revisited , 2005, Games Econ. Behav..

[14]  Joseph Y. Halpern.  Alternative Semantics for Unawareness , 2000, Games Econ. Behav..

[15]  S. Modica,et al.  Unawareness and Partitional Information Structures , 1999 .

[16]  Yoram Moses,et al.  Knowledge and the Logic of Local Propositions , 1998, TARK.

[17]  Barton L. Lipman,et al.  Standard state-space models preclude unawareness , 1998 .

[18]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[19]  S. Modica,et al.  Awareness and partitional information structures , 1994 .

[20]  Ronald Fagin,et al.  What can machines know?: On the properties of knowledge in distributed systems , 1992, JACM.

[21]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[22]  R. A. Bull.  On modal logic with propositional quantifiers , 1969, Journal of Symbolic Logic.

[23]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[24]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[25]  N. Malcolm.  On Knowledge and Belief , 1954 .