Provability logic without Craig's interpolation property

  • L. D. Beklemishev


Interpolation Property Provability Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    A. Visser, “The provability logics of recursively enumerable theories,” J. Philos. Logic, 97–113 (1984).Google Scholar
  2. 2.
    S. N. Artemov, “Modal logics that axiomatize provability,” Izv. Akad. Nauk SSSR, Ser. Mat.,49, No. 6, 1123–1154 (1985).Google Scholar
  3. 3.
    R. M. Solovay, “Provability interpretations of modal logic,” Israel J. Math.,25, 287–304 (1976).Google Scholar
  4. 4.
    C. Smorynski, “Beth's theorem and self-referential sentences,” in: Macintyre et al. (eds.), Logic Colloquim'77, Amsterdam, North-Holland (1978).Google Scholar
  5. 5.
    G. Boolos, The Unprovability of Consistency. An Essay in Modal Logic, Cambridge, Cambridge Univ. Press (1979).Google Scholar
  6. 6.
    G. Boolos, “On systems of modal logics with provability interpretations,” Theoria,46, No. 1, 7–18 (1980).Google Scholar
  7. 7.
    L. D. Beklemishev, “Normalization of deductions and interpretation for certain provability logics,” Usp. Mat. Nauk,42, No. 6, 179–180 (1987).Google Scholar
  8. 8.
    G. K. Dzhaparidze, Candidate's Dissertation, Philosophy, Moscow (1986).Google Scholar
  9. 9.
    K. Segerberg, An Essay in Chemical Modal Logic, Uppsala, Sweden, Philosofiska Studier (1971).Google Scholar
  10. 10.
    C. Smorynski, “Incompleteness theorems,” in: Textbook on Mathematical Logic [in Russian], Nauka, Moscow (1983), pp. 9–53.Google Scholar
  11. 11.
    W. Rautenberg, “Modal tableau calculi and interpolation,” J. Philos. Logic,12, 403–423 (1983).Google Scholar

Copyright information

© Plenum Publishing Corporation 1989

Authors and Affiliations

  • L. D. Beklemishev
    • 1
  1. 1.Moscow State UniversityUSSR

Personalised recommendations