Definability in Normal Extensions of S4

DOI10.1023/B:ALLO.0000035113.06412.22zbMATH Open1115.03018OpenAlexW2046320091MaRDI QIDQ5294709FDOQ5294709

Authors: L. L. Maksimova 

Publication date: 26 July 2007

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:allo.0000035113.06412.22

Recommendations

• scientific article; zbMATH DE number 1989661
• Projective Beth property in extensions of Grzegorczyk logic
• scientific article; zbMATH DE number 4217760
• Publication:4936636
• The Projective Beth Property and Interpolation in Positive and Related Logics

zbMATH Keywords

modal logicprojective Beth propertyGrzegorczyk logicsuperintuitionistic logiclocally tabular extension

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Cited In (9)

• Algorithms for recognizing restricted interpolation over the modal logic S4
• Title not available (Why is that?)
• Restricted interpolation property in superintuitionistic logics
• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
• Restricted interpolation over modal logic S4
• Projective Beth property in extensions of Grzegorczyk logic
• Definability and interpolation in non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Definability in Normal Extensions of S4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294709)