Projective Beth Property in Extensions of Grzegorczyk Logic

Studia Logica 83 (1):365-391 (2006)
  Copy   BIBTEX

Abstract

All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-006-8309-1

Links

PhilArchive



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

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

Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Definability theorems in normal extensions of the probability logic.Larisa L. Maksimova - 1989 - Studia Logica 48 (4):495-507.
On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.
Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Projective geometries of algebraically closed fields of characteristic zero.Kitty L. Holland - 1993 - Annals of Pure and Applied Logic 60 (3):237-260.
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.

Analytics

Added to PP
2009-01-28

Downloads
28 (#538,947)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.

View all 16 references / Add more references