Modal tableau calculi and interpolation

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).