NDLI: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Content Provider	Springer Nature Link
Author	van der Hoek, Wiebe Wooldridge, Michael
Copyright Year	2003
Abstract	Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as “Alternating-time Temporal Logic” (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by “cooperation modalities”, of the form 《Γ》, where Γ is a set of agents. The intended interpretation of an ATL formula 《Γ》ϕ is that the agents Γ can cooperate to ensure that ϕ holds (equivalently, that Γ have a winning strategy for ϕ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as “group Γ can cooperate to bring about ϕ iff it is common knowledge in Γ that ψ”. The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.
Starting Page	125
Ending Page	157
Page Count	33
File Format	PDF
ISSN	00393215
Journal	Studia Logica
Volume Number	75
Issue Number	1
e-ISSN	15728730
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2003-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Logic Mathematical Logic and Foundations Computational Linguistics
Content Type	Text
Resource Type	Article
Subject	Logic History and Philosophy of Science

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

Skepticism and Epistemic Logic

Understanding the Brandenburger-Keisler Paradox

Game Logic and its Applications II

Modeling Reasoning in a Social Setting

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications (2003)

Indicative conditionals:Factual or Epistemic?

An Internal Version of Epistemic Logic

Logical-Epistemic Foundations of General Game Descriptions

Distributed Knowability and Fitch’s Paradox

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Similar Documents

Skepticism and Epistemic Logic

Understanding the Brandenburger-Keisler Paradox

Game Logic and its Applications II

Modeling Reasoning in a Social Setting

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications (2003)

Indicative conditionals:Factual or Epistemic?

An Internal Version of Epistemic Logic

Logical-Epistemic Foundations of General Game Descriptions

Distributed Knowability and Fitch’s Paradox

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications