Action and Knowledge in Alternating-Time Temporal Logic

ISSN： 0039-7857

Source： Synthese, Vol.149, Iss.2, 2006-03, pp. : 375-407

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

By van der Hoek W. Wooldridge M.

Studia Logica, Vol. 75, Iss. 1, 2003-10 ,pp. : 125-157

Springer Publishing Company

Access to resources Recommend Favorite

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

By Kacprzak M.

Synthese, Vol. 142, Iss. 2, 2004-09 ,pp. : 203-227

Springer Publishing Company

Access to resources Recommend Favorite

Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic

By Schmidt Renate Tishkovsky Dmitry Hustadt Ullrich

Studia Logica, Vol. 78, Iss. 3, 2004-12 ,pp. : 381-415

Springer Publishing Company

Access to resources Recommend Favorite

Axiomatising First-Order Temporal Logic: Until and Since over Linear Time

By Reynolds M.

Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. : 279-302

Springer Publishing Company

Access to resources Recommend Favorite

A Temporal Logic for Sortals

By Freund M.A.

Studia Logica, Vol. 69, Iss. 3, 2001-12 ,pp. : 351-380

Springer Publishing Company

Access to resources Recommend Favorite