Action and Knowledge in Alternating-Time Temporal Logic

  title={Action and Knowledge in Alternating-Time Temporal Logic},
  author={Thomas {\AA}gotnes},
Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements about what coalitions of agents can achieve by strategic cooperation can be expressed. Alternating-time temporal epistemic logic (ATEL) extends ATL by adding knowledge modalities, with the usual possible worlds interpretation. This paper investigates how properties of agents’ actions can be expressed in ATL in general, and how properties of the interaction between action and knowledge can be expressed… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

A Note on Syntactic Characterization of Incomplete Information in ATEL

T. Ågotnes
Proceedings of the First Workshop on Knowledge and Games (KAG • 2004
View 4 Excerpts
Highly Influenced

Some Remarks on Alternating Temporal Epistemic Logic’, in FAMAS03 – Formal Approaches to Multi-Agent Systems, Proceedings

W. Jamroga
View 4 Excerpts
Highly Influenced

Alternating-Time Temporal Logic

View 9 Excerpts
Highly Influenced

Reasoning about knowledge

View 5 Excerpts
Highly Influenced

A Formal Theory of Knowledge and Action’, in Formal Theories of the Commonsense World

R. C. Moore
Ablex Publishing Corp, • 1984
View 5 Excerpts
Highly Influenced

Dynamic Logic’, in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, Vol. 165 of Synthese Library, D

D. Harel
Reidel Publishing Co., Dordrecht, • 1984
View 4 Excerpts
Highly Influenced

Decidability and Complete Axiomatization of the Alternating-time Temporal Logic

V. Goranko, G. van
Drimmelen: • 2003

Similar Papers

Loading similar papers…