Central and East European
Society for Phenomenology

Repository | Journal | Volume | Article

237134

Comparing semantics of logics for multi-agent systems

Valentin GorankoWojciech Jamroga

pp. 241-280

Abstract

We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and equivalence results for their semantics, as well as interpretation of the alternating-time temporal epistemic logic into ATL.

Publication details

Published in:

(2004) Synthese 139 (2).

Pages: 241-280

DOI: 10.1023/B:SYNT.0000024915.66183.d1

Full citation:

Goranko Valentin, Jamroga Wojciech (2004) „Comparing semantics of logics for multi-agent systems“. Synthese 139 (2), 241–280.