Period of time： 2014年1期
Publisher： Springer Publishing Company
Founded in： 1953
Total resources： 90
ISSN： 0039-3215
Subject： B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 69,issue 1
Menu
By Dyckhoff R.,Wansing H. in (2001)
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.
Access to resources
Recommend
An Overview of Tableau Algorithms for Description Logics
By Baader F.,Sattler U. in (2001)
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.Free-Variable Tableaux for Propositional Modal Logics
By Beckert B.,Goreacute R. in (2001)
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
By Mayer M.C.,Cerrito S. in (2001)
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.By Fitting M.,Thalmann L.,Voronkov A. in (2001)
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most
Studia Logica,volume 69,issue 1 , Vol. 69, Iss. 1, 2001-10 , pp.