Modal tableau calculi and interpolation

This publication has 10 references indexed in Scilit:

• The modal logic of provability: Cut-elimination
  Journal of Philosophical Logic, 1983
• The modal logic of provability. The sequential approach
  Journal of Philosophical Logic, 1982
• On the proof theory of the modal logic for arithmetic provability
  The Journal of Symbolic Logic, 1981
• On systems of modal logic with provability interpretations
  Theoria, 1980
• A modal sequent calculus for a fragment of arithmetic
  Studia Logica, 1980
• Klassische und nichtklassische Aussagenlogik
  Published by Springer Nature ,1979
• Beth's Theorem and Self-Referential Sentences
  Published by Elsevier ,1978
• Provability interpretations of modal logic
  Israel Journal of Mathematics, 1976
• Model existence theorems for modal and intuitionistic logics
  The Journal of Symbolic Logic, 1973
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963