论文信息 - Generalized arrow update logic - 字舞流文

Generalized arrow update logic

This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.

Barteld P. Kooi | Bryan Renne | Barteld P. Kooi | B. Renne

[1] Carsten Lutz,et al. Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[2] Barteld Kooi,et al. Dynamic Epistemic Logic , 2013 .

[3] Bryan Renne,et al. Public and private communication are different: results on relative expressivity , 2008, Synthese.

[4] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[5] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .

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

[7] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[8] A. Baltag,et al. Logics for epistemic programs , 2004 .

[9] Jan van Eijck,et al. Action emulation , 2012, Synthese.

[10] Barteld Kooi,et al. ARROW UPDATE LOGIC , 2011, The Review of Symbolic Logic.

[11] Barteld P. Kooi,et al. Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

[12] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.