Author： Baral Chitta Tran Nam
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.79, Iss.1, 2005-02, pp. : 33-46
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Reasoning About Actions and Obligations in First-Order Logic
Studia Logica, Vol. 57, Iss. 1, 1996-07 ,pp. :
Access to resources
Recommend
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents
Studia Logica, Vol. 79, Iss. 1, 2005-02 ,pp. :
Reasoning About Permitted Announcements
By Balbiani P.
Journal of Philosophical Logic, Vol. 40, Iss. 4, 2011-08 ,pp. :
Utilitas, Vol. 11, Iss. 3, 1999-11 ,pp. :