References
G. Boolos, The Unprovability of Consistency, Cambridge U.P., 1979.
G. Boolos, ‘On systems of modal logic with provability interpretation’, Theoria 46 (1980), 7–18.
M. Fitting, ‘Model existence theorems for modal and intuitionistic logics’, Journ. Symb. Logic 38 (1973), 613–627.
K. Hintikka, ‘Form and content in quantification theory’, Acta Phil. Fennica 8 (1955), 7–55.
S. Kripke, ‘Semantical analysis of modal logic I’, Zeitschr. Math. Logik Grundl. Math. 9 (1963), 67–96.
D. Leivant, ‘Proof theory of the modal logic for arithmetic provability’, Journ. Symb. Logic 46 (1981), 531–538.
L. Maximova, ‘Interpolation theorems in modal logica and amalgamable varieties of topological boolean algebras’, Alg. i Logika 18 (1979), 556–586.
L. Maximova, ‘Interpolation theorems in modal logic. Sufficient conditions’, Algebra i Logika 19 (1980), 194–213.
W. Rautenberg, Klassische und Nichtklassische Aussagenlogik, Wiesbaden, 1979.
Sambin Valentini, ‘A modal sequent calculus for a fragment of arithmetic’, Studia Logica 39 (1980), 245–256.
Sambin Valentini, ‘The Modal logic of provability, The sequential approach’, Journ. Phil. Logic, 11 (1982), 311–342.
K. Segerberg, An Essay in Modal Logic, Uppsala, 1971.
C. Smoryński, ‘Beth's theorem and self-referential sentences’, in Logic Colloquium 77, Amsterdam, 1978.
R. Solovay, ‘Provability interpretations in modal logic’, Israel Journ. Math. 25 (1976), 287–304.
S. Valentini, ‘The modal logic of provability, cut-elimination’, J. Philosophical Logic 12 (1983), 471–476 (this issue).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rautenberg, W. Modal tableau calculi and interpolation. J Philos Logic 12, 403–423 (1983). https://doi.org/10.1007/BF00249258
Issue Date:
DOI: https://doi.org/10.1007/BF00249258