Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Multi-Agent Subset Space Logic

Subset space logics have been introduced and studied as a framework for reasoning about a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and Parikh modeled a single agent, and most work in this area has focused on different extensions of the language, or different model classes resulting from restrictions on subset spaces, while still keeping the single-agent assumption. In this paper we argue that the few existing attempts at multi-agent versions of SSL are unsatisfactory, and propose a new multi-agent subset space logic which is a natural extension of single-agent SSL. The main results are a sound and complete axiomatization of this logic, as well as an alternative and equivalent relational semantics.

[1]  Philippe Balbiani,et al.  Subset Space Logic with Arbitrary Announcements , 2013, ICLA.

[2]  A. Karimi,et al.  Master‟s thesis , 2011 .

[3]  Konstantinos Georgatos,et al.  Knowledge Theoretic Properties of Topological Spaces , 1992, Logic at Work.

[4]  Yì N. Wáng.  A Two-Dimensional Hybrid Logic of Subset Spaces , 2009, ICLA.

[5]  Xuefeng Wen,et al.  An Alternative Logic for Knowability , 2011, LORI.

[6]  Bernhard Heinemann,et al.  Extended Canonicity of Certain Topological Properties of Set Spaces , 2003, LPAR.

[7]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[8]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[9]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

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

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

[12]  Bernhard Heinemann,et al.  Topology and Knowledge of Multiple Agents , 2008, IBERAMIA.

[13]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.

[14]  Bernhard Heinemann,et al.  A Hybrid Logic of Knowledge Supporting Topological Reasoning , 2004, AMAST.

[15]  Can Baskent,et al.  Topics in Subset Space Logic , 2010 .

[16]  Bernhard Heinemann.  A Hybrid Logic for Reasoning about Knowledge and Topology , 2008, J. Log. Lang. Inf..

[17]  Bernhard Heinemann,et al.  Logics for multi-subset spaces , 2010, J. Appl. Non Class. Logics.

[18]  Yì N. Wáng,et al.  Subset Space Public Announcement Logic , 2013, ICLA.

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

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

[21]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[22]  Konstantinos Georgatos,et al.  Knowledge on Treelike Spaces , 1997, Stud Logica.

[23]  J. Davenport.  Editor , 1960 .