Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Interpolation and implicit definability in extensions of the provability logic
  • Home
  • /
  • Interpolation and implicit definability in extensions of the provability logic
  1. Home /
  2. Archives /
  3. Vol. 17 No. 1-2 (2008) /
  4. Articles

Interpolation and implicit definability in extensions of the provability logic

Authors

  • Larisa Maksimova Siberian Branch of Russian Academy of Sciences, Novosibirsk

DOI:

https://doi.org/10.12775/LLP.2008.008

Keywords

provability logic, interpolation, Beth property

Abstract

The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionistic provability logic—and investigated these two logics and their extensions. In the present paper, different versions of interpolation and of the Beth property in normal extensions of the provability logic GL are considered. It is proved that in a large class of extensions of GL (including all finite slice logics over GL) almost all versions of interpolation and of the Beth property are equivalent. It follows that in finite slice logics over GL the three versions CIP, IPD and IPR of the interpolation property are equivalent. Also they are equivalent to the Beth properties B1, PB1 and PB2.

Author Biography

Larisa Maksimova, Siberian Branch of Russian Academy of Sciences, Novosibirsk

Sobolev Institute of Mathematics

References

Beth, E.W., “On Padoa’s method in the theory of definitions”, Indagationes Math. 15, 4 (1953), 330–339.

Blok, W.J., “Pretabular varieties of modal algebras”, Studia Logica 39 (1980), 101–124.

Craig, W., “Three uses of Herbrand-Gentzen theorem in relating model theory”, J. Symbolic Logic 22 (1957), 269–285.

Gabbay, D.M., and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford, 2005.

Kuznetsov, A.V., “Proof intuitionistic logic”, pages 75–79 in Modal and Intensional Logics (abstracts of conference), Moscow, 1978.

Kuznetsov, A.V., “On proof-intuitionistic propositional calculus”, Doklady Academii Nauk SSSR 283, 1 (1985), 27–29.

Kuznetsov, A.V., and A.Y. Muravitsky, “Provability as modality”, pages in 193–230 in Actual Problems on Logics and Methodology of Science, Naukova Dumka, Kiev, 1980.

Maksimova, L., “On interpolation in normal modal logics”, pages 40–56 in Non-classical Logics, Stiinca, Kishinev, 1987.

Maksimova, L.L., “A continuum of normal extensions of the modal provability logics with interpolation property”, Siberian Math. J. 30, 6 (1989), 122–131.

Maksimova, L.L., “An analog of Beth’s theorem in normal extensions of the modal K4 logic”, Siberian Math. J. 33, 6 (1992), 118–130.

Maksimova, L.L., “Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation”, Algebra and Logic 31, 2 (1992), 145–166.

Maksimova, L., “Explicit and implicit definability in modal and related logics”, Bulletin of the Section of Logic 27, 1/2 (1998), 36–39.

Maksimova, L.L., “Intuitionistic logic and implicit definability”, Annals of Pure and Applied Logic 105, 1–3 (2000), 83–102.

Maksimova, L., “Projective Beth’s properties in infinite slice extensions of K4”, pages 349–363 in F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (eds.), Advances in Modal Logics, vol. 3, World Scientific, Singapore, 2002.

Maksimova, L.L., “Implicit definability in positive logics”, Algebra and Logic 42, 1 (2003), 65–93.

Maksimova, L., “Restricted interpolation in modal logics”, pages 297–311 in Advances in Modal Logic, vol. 4, King’s College Publications, London, 2003.

Maksimova, L., “Definability in normal extensions of S4”, Algebra and Logic 43, 4 (2004), 387–410.

Maksimova, L., “Interpolation and Joint Consistency”, pages 293–305 in S. Artemov, H. Barringer, A. d’Avila Garcez, L. Lamb and J. Woods (eds.), We Will Show Them! Essays in Honour of Dov Gabbay, vol. 2, King’s College Publications, London, 2005.

Maksimova, L.L., “Projective Beth property and interpolation in positive and related logics”, Algebra and Logic 44 (2005), 85–113.

Maksimova, L., “Definability and interpolation in non-classical logics”, Studia Logica 82, 2 (2006), 271–291.

Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa, 1963.

Segerberg, K., An Essay in Classical Modal Logic, Uppsala University, 1971.

Solovay, R.M., “Provability interpretations of modal logics”, Israel Journal of Mathematics 25 (1976), 287–304.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2008-06-19

How to Cite

1.
MAKSIMOVA, Larisa. Interpolation and implicit definability in extensions of the provability logic. Logic and Logical Philosophy. Online. 19 June 2008. Vol. 17, no. 1-2, pp. 129-142. [Accessed 3 July 2025]. DOI 10.12775/LLP.2008.008.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 17 No. 1-2 (2008)

Section

Articles

Stats

Number of views and downloads: 594
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

provability logic, interpolation, Beth property
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop