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

Author： Kacprzak M.  

Publisher： Springer Publishing Company

ISSN： 0039-7857

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

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

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

On an epistemic approach to logic

By Tiles J.E.  

Australasian Journal of Philosophy, Vol. 59, Iss. 1, 1981-03 ,pp. : 86-91

Routledge Ltd

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

Intuitionistic Logic As Epistemic Logic

By Hintikka J.  

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 7-19

Springer Publishing Company

Access to resources Recommend Favorite