Reasoning about knowledge and messages in asynchronous multi-agent systems

We propose a variant of public announcement logic for asynchronous systems. To capture asynchrony, we introduce two different modal operators for sending and receiving messages. The natural approac ...

[1]  François Schwarzentruber,et al.  Arbitrary Public Announcement Logic with Mental Programs , 2015, AAMAS.

[2]  Andreas Herzig,et al.  Tableaux for Public Announcement Logic , 2010, J. Log. Comput..

[3]  Johan van Benthem.  Logical Dynamics of Information and Interaction: Preface , 2011 .

[4]  Andreas Witzel,et al.  The synchronicity of dynamic epistemic logic , 2011, TARK XIII.

[5]  Hans van Ditmarsch.  Asynchronous Announcements , 2017, ArXiv.

[6]  Peter van Emde Boas,et al.  The Convenience of Tilings , 2019, complexity, logic, and recursion theory.

[7]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[8]  Philippe Balbiani,et al.  Agents that look at one another , 2013, Log. J. IGPL.

[9]  Andreas Herzig,et al.  What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability , 2007, TARK '07.

[10]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[11]  Jan van Eijck,et al.  Symbolic Model Checking for Dynamic Epistemic Logic , 2015, LORI.

[12]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[13]  Wiebe van der Hoek.  Systems for Knowledge and Beliefs , 1990, JELIA.

[14]  Michel Raynal,et al.  Distributed Algorithms for Message-Passing Systems , 2013, Springer Berlin Heidelberg.

[15]  Walter Vogler,et al.  Relating Fairness and Timing in Process Algebras , 2003, CONCUR.

[16]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[17]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

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

[19]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

[20]  F. Kutschera.  Einführung in die intensionale Semantik , 1976 .

[21]  Torben Braüner,et al.  Second-Order False-Belief Tasks: Analysis and Formalization , 2016, WoLLIC.

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

[23]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[24]  Valentin Goranko,et al.  Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems , 2015, Autonomous Agents and Multi-Agent Systems.

[25]  Prakash Panangaden,et al.  Concurrent common knowledge: defining agreement for asynchronous systems , 2005, Distributed Computing.

[26]  Mohamed G. Gouda,et al.  Deadlock Detection for a Class of Communicating Finite State Machine , 1982, PSTV.

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

[28]  François Schwarzentruber,et al.  On the Complexity of Dynamic Epistemic Logic , 2013, TARK.

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

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

[31]  Glynn Winskel,et al.  The formal semantics of programming languages - an introduction , 1993, Foundation of computing series.

[32]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[33]  François Schwarzentruber,et al.  Asynchronous Announcements in a Public Channel , 2015, ICTAC.

[34]  Philippe Schnoebelen,et al.  Mixing Lossy and Perfect Fifo Channels , 2008, CONCUR.

[35]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

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

[37]  Philippe Schnoebelen,et al.  The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.

[38]  Michiel van Lambalgen.  Logical Form as a Determinant of Cognitive Processes , 2010, WoLLIC.

[39]  Yoram Moses,et al.  Programming simultaneous actions using common knowledge , 1987, Algorithmica.

[40]  Alessio Lomuscio,et al.  Model Checking Distributed Systems against Temporal-Epistemic Specifications , 2013, FMOODS/FORTE.

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