Author： Nguyen Linh
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.98, Iss.3, 2011-08, pp. : 387-428
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
Access to resources
Recommend
An Overview of Tableau Algorithms for Description Logics
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
Studia Logica, Vol. 69, Iss. 2, 2001-11 ,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. :