Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.69, Iss.2, 2001-11, pp. : 221-248
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
An Overview of Tableau Algorithms for Description Logics
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :
Access to resources
Recommend
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
By Nguyen Linh
Studia Logica, Vol. 98, Iss. 3, 2011-08 ,pp. :
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
By Ferrari M.
Studia Logica, Vol. 59, Iss. 3, 1997-11 ,pp. :
Cut-free Tableau Calculi for some Propositional Normal Modal Logics
By Amerbauer M.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :
On Dynamic Topological and Metric Logics
By Konev B. Kontchakov R. Wolter F. Zakharyaschev M.
Studia Logica, Vol. 84, Iss. 1, 2006-09 ,pp. :