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

ISSN： 0039-3215

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

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

Action and Knowledge in Alternating-Time Temporal Logic

By Ågotnes Thomas

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

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

Automata for Epistemic Temporal Logic with Synchronous Communication

By Mohalik Swarup

Journal of Logic, Language and Information, Vol. 19, Iss. 4, 2010-10 ,pp. : 451-484

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

From Epistemic Diversity to Common Knowledge: Rational Rituals and Cooperation in Democratic Athens

Episteme, Vol. 3, Iss. 3, 2006-10 ,pp. : 214-233

Cambridge University Press

Access to resources Recommend Favorite