Bibliography

1

D. Basin, S. Matthews, and L. Viganò.
A new method for bounding the complexity of modal logics.
In G. Gottlob, A. Leitsch, and D. Mundici, editors, Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC'97), LNCS 1289, pages 89-102. Springer, 1997.

2

C.C. Chen and I.P. Lin.
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics.
Theoretical Computer Science, 129:95-121, 1994.

3

L. Fariñas del Cerro and M. Penttonen.
A note on the complexity of the satisfiability of modal Horn clauses.
Logic Programming, 4:1-10, 1987.

4

R. Goré.
Tableau methods for modal and temporal logics.
In D'Agostino Gabbay Hänle Posegga, editor, Handbook of Tableau Methods, pages 297-396. Kluwer Academic Publishers, 1999.

5

K.J.J. Hintikka.
Form and content in quantification theory.
Acta Philosophica Fennica, 8:3-55, 1955.

6

J. Hudelmaier.
A contraction-free sequent calculus for S4.
In H. Wansing, editor, Proof Theory of Modal Logic, pages 3-15. Kluwer, Dordrecht, 1996.

7

J. Hudelmaier.
Improved decision procedures for the modal logics K, T, S4.
In H. Kleine Büning, editor, Proceedings of CSL'95, LNCS 1092, pages 320-334. Springer, 1996.

8

S.A. Kripke.
Semantical analysis of modal logic, i. normal modal propositional calculus.
Z. Math. Logic Grundlag, 9:67-96, 1963.

9

W. Rautenberg.
Modal tableau calculi and interpolation.
Journal of Philosophical Logic, 12:403-423, 1983.

10

L. Viganò.
A framework for non-classical logics.
PhD thesis, Universität des Saarlandes, Saabrücken, Germany, 1997.