Problem of restricted interpolation in superintuitionistic and some modal logics

Logic Journal of the IGPL 18 (3):367-380 (2010)
  Copy   BIBTEX

Abstract

A restricted interpolation property IPR is investigated in modal and superintuitionistic logics. The problem of description of logics with IPR over the intuitionistic logic Int and the modal Grzegorczyk logic Grz is solved. It is proved that in extensions of Int or Grz IPR is equivalent to the projective Beth property PB2. It follows that IPR is decidable over Int and strongly decidable over Grz

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzp040

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.

Analytics

Added to PP
2015-02-04

Downloads
9 (#1,246,467)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 459-463.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.

View all 6 references / Add more references