Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Heifetz, Meier & Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS’ results.

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

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

[3]  Leandro Chaves Rêgo,et al.  Reasoning about knowledge of unawareness revisited , 2009, TARK '09.

[4]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

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

[6]  Brian Hill.  Awareness Dynamics , 2010, J. Philos. Log..

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

[8]  Natasha Alechina,et al.  A Logic for Reasoning About Knowledge of Unawareness , 2014, J. Log. Lang. Inf..

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

[10]  留美 種村.  Awareness , 1995, Encyclopedia of Personality and Individual Differences.

[11]  Davide Grossi,et al.  Syntactic awareness in logical dynamics , 2015, Synthese.

[12]  Rasmus K. Rendsvig,et al.  Intensional Protocols for Dynamic Epistemic Logic , 2019, J. Philos. Log..

[13]  Burkhard C. Schipper,et al.  A canonical model for interactive unawareness , 2008, Games Econ. Behav..

[14]  Tim French,et al.  Semantics for Knowledge and Change of Awareness , 2014, J. Log. Lang. Inf..

[15]  Yì N. Wáng,et al.  Knowledge, awareness, and bisimulation , 2013, TARK.

[16]  Johan van Benthem,et al.  The dynamics of awareness , 2010, Synthese.

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

[18]  Joseph Y. Halpern,et al.  Handbook of epistemic logic , 2015 .

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

[20]  Ahti-Veikko Pietarinen,et al.  Awareness in logic and cognitive neuroscience , 2002, Proceedings First IEEE International Conference on Cognitive Informatics.

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