Skip to main content
SpringerLink
Log in

Craig interpolation property in modal logics with provability interpretation

  • Conference paper
  • First Online:
Logical Foundations of Computer Science (LFCS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 813))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Smorynski C. Beth's theorem and self-referential sentences. In: Macintyre et al. eds. Logic Colloquium '77, North Holland, Amsterdam, 1978.

    Google Scholar 

  2. Boolos G. On systems of modal logic with provability interpretations. Theoria, 1980, v. 46, No.l, pp. 7–18.

    Google Scholar 

  3. Beklemishev L.D. A provability logic without Craig's interpolation property. Mat. Zametki, 1989, v.45, No.6, pp. 12–22. (In Russian. English translation in Math. Notes, 1989, v.45.)

    Google Scholar 

  4. Beklemishev L.D. On the classification of propositional provability logics. Izvestiya Akademii Nauk SSSR, ser. mat., 1989, v.53, No.5, p.915–943. (In Russian. English translation in Math. USSR Izvestiya, 1990, v.35, No.2, pp.247–275.)

    Google Scholar 

  5. Guaspari D., Solovay R. Rosser's sentences. Annals of Mathematical Logic, 1979, v. 16, pp. 81–99.

    Google Scholar 

  6. Shavrukov V.Yu. On Rosser's provability predicate. Zeitschr. f. math. Logic und Grundlagen d. Math., 1991, Bd.7, S.317–330.

    Google Scholar 

  7. Artemov S. Logic of Proofs. Techn.Rep. 93-52, Mathematical Sciences Institute, Cornell University. (To appear in Annals of Pure and Applied Logic, 1994.)

    Google Scholar 

  8. Goryachev S.V. Ob arifmetike s lokal'nym principom refleksii dlya posserovskoi formuly dokazuemosti. Matematicheskie Zametki, 1989, v.46, No.3, pp.12–21 (in Russian).

    Google Scholar 

  9. D.H.J. de Jong A simplification of a completeness proof of Guaspari and Solovay. Studia Logica, 1987, v.46, pp.187–192.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Section of Mathematical Logic Department of Mathematics, Moscow State University, 119899, Moscow, Russia

    Tatiana Sidon

Authors
  1. Tatiana Sidon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Anil Nerode Yu. V. Matiyasevich

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sidon, T. (1994). Craig interpolation property in modal logics with provability interpretation. In: Nerode, A., Matiyasevich, Y.V. (eds) Logical Foundations of Computer Science. LFCS 1994. Lecture Notes in Computer Science, vol 813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58140-5_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-58140-5_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58140-6

  • Online ISBN: 978-3-540-48442-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation