Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models

The present work studies the expressivity hierarchy of ‘static’ and ‘dynamic’ languages over epistemic awareness models by characterizing each language's expressivity with its adequate notion of bisimulation. The studied ‘static’ languages are based on the operators for implicit and explicit knowledge, implicit and explicit possibility and awareness; the studied ‘dynamic’ languages extend the ‘static’ ones with operators that express the effect of the so-called epistemic awareness action models, structures that can represent changes in an agent's knowledge and awareness.

[1]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

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

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

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

[5]  Moshe Y. Vardi.  On Epistemic Logic and Logical Omniscience , 1986, TARK.

[6]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[7]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

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

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

[10]  Johan van Benthem,et al.  Program Constructions that are Safe for Bisimulation , 1998, Stud Logica.

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

[12]  Davide Grossi,et al.  Twelve Angry Men: A Study on the Fine-Grain of Announcements , 2009, LORI.

[13]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[14]  Tim French,et al.  Becoming Aware of Propositional Variables , 2011, ICLA.

[15]  Joseph Y. Halpern.  Alternative Semantics for Unawareness , 2000 .

[16]  Tim French,et al.  Action models for knowledge and awareness , 2012, AAMAS.

[17]  Robert Stalnaker,et al.  The problem of logical omniscience, I , 1991, Synthese.

[18]  Aldo Rustichini,et al.  Recent developments in modeling unforeseen contingencies , 1998 .

[19]  Johan van Benthem,et al.  Toward a Dynamic Logic of Questions , 2009, J. Philos. Log..

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

[21]  Emiliano Lorini,et al.  Ceteris Paribus Structure in Logics of Game Forms , 2013, TARK.

[22]  K. Lambert.  Philosophical Problems in Logic , 1970 .

[23]  Tim French,et al.  Awareness and Forgetting of Facts and Agents , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[24]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..