NDLI: Comparing Semantics of Logics for Multi-Agent Systems

Content Provider	Springer Nature Link
Author	Goranko, Valentin Jamroga, Wojciech
Copyright Year	2004
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.The focus in this paper is on models: alternating transition systems, multi-player game models (alias concurrent game structures) and coalition effectivity models turn out to be intimately related, while alternating epistemic transition systems share much of their philosophical and formal apparatus. Our approach is constructive: we present ways to transform between different types of models and languages.
Starting Page	241
Ending Page	280
Page Count	40
File Format	PDF
ISSN	00397857
Journal	Synthese
Volume Number	139
Issue Number	2
e-ISSN	15730964
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2004-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Philosophy Epistemology Logic Metaphysics Philosophy of Language
Content Type	Text
Resource Type	Article
Subject	Philosophy Social Sciences

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On the semantics and logic of declaratives and interrogatives

Majority merging by adaptive counting

Dynamics of lying

Logics for Epistemic Programs

The interrogative model of inquiry meets dynamic epistemic logics

An Evolutionary Game Theoretic Perspective on Learning in Multi-Agent Systems

Logics of questions

Proof-theoretic Semantics for Classical Mathematics

The semantics/pragmatics distinction

Comparing Semantics of Logics for Multi-Agent Systems

Similar Documents

On the semantics and logic of declaratives and interrogatives

Majority merging by adaptive counting

Dynamics of lying

Logics for Epistemic Programs

The interrogative model of inquiry meets dynamic epistemic logics

An Evolutionary Game Theoretic Perspective on Learning in Multi-Agent Systems

Logics of questions

Proof-theoretic Semantics for Classical Mathematics

The semantics/pragmatics distinction

Comparing Semantics of Logics for Multi-Agent Systems