Period of time： 2014年1期
Publisher： Springer Publishing Company
Founded in： 1953
Total resources： 90
ISSN： 0039-3215
Subject： B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 75,issue 1
Menu
By van der Hoek W.,Wooldridge M. in (2003)
Studia Logica,volume 75,issue 1 , Vol. 75, Iss. 1, 2003-10 , pp.
Access to resources
Recommend
Memory of Past Beliefs and Actions
Studia Logica,volume 75,issue 1 , Vol. 75, Iss. 1, 2003-10 , pp.By Lomuscio A.,Sergot M. in (2003)
Studia Logica,volume 75,issue 1 , Vol. 75, Iss. 1, 2003-10 , pp.Complete Axiomatizations for Reasoning about Knowledge and Branching Time
By van der Meyden R.,Wong K-s. in (2003)
Studia Logica,volume 75,issue 1 , Vol. 75, Iss. 1, 2003-10 , pp.Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
By van der Hoek W.,Wooldridge M. in (2003)
Studia Logica,volume 75,issue 1 , Vol. 75, Iss. 1, 2003-10 , pp.