Author： Baader F. Sattler U.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.69, Iss.1, 2001-10, pp. : 5-40
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
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
Studia Logica, Vol. 69, Iss. 2, 2001-11 ,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. :
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
By Nguyen L.A.
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :