Studia Logica

Editorial
pp. 3-4(2)
Authors: Dyckhoff R.; Wansing H.

An Overview of Tableau Algorithms for Description Logics
pp. 5-40(36)
Authors: Baader F.; Sattler U.

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
pp. 41-57(17)
Author: Nguyen L.A.

Free-Variable Tableaux for Propositional Modal Logics
pp. 59-96(38)
Authors: Beckert B.; Goreacute R.

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
pp. 97-131(35)
Authors: Mayer M.C.; Cerrito S.

Term-Modal Logics
pp. 133-169(37)
Authors: Fitting M.; Thalmann L.; Voronkov A.

A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most
pp. 171-191(21)
Author: Rosati R.

Information for Authors
pp. 193-193(1)