Author: Prakken H.
Publisher: Springer Publishing Company
ISSN: 0039-7857
Source: Synthese, Vol.127, Iss.1-2, 2001-04, pp. : 187-219
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
On Dynamic Topological and Metric Logics
By Konev B. Kontchakov R. Wolter F. Zakharyaschev M.
Studia Logica, Vol. 84, Iss. 1, 2006-09 ,pp. :
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
Studia Logica, Vol. 69, Iss. 2, 2001-11 ,pp. :
Australasian Journal of Philosophy, Vol. 45, Iss. 2, 1967-01 ,pp. :