Projective Beth property in extensions of Grzegorczyk logic

DOI10.1007/s11225-006-8309-1zbMath1106.03014OpenAlexW2029362320MaRDI QIDQ2433106

Larisa L. Maksimova

Publication date: 27 October 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-8309-1

zbMATH Keywords

modal logicdecidabilityintuitionistic logicprojective Beth propertyepimorphisms surjectivity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Related Items (4)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4

Cites Work

• Modal tableau calculi and interpolation
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• Admissibility of logical inference rules
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Algebraic characterizations of various Beth definability properties
• Intuitionistic logic and implicit definability
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• On systems of modal logic with provability interpretations
• Strongly decidable properties of modal and intuitionistic calculi
• Definability in Normal Extensions of S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Projective Beth property in extensions of Grzegorczyk logic