Definability in Normal Extensions of S4

DOI10.1023/B:ALLO.0000035113.06412.22MaRDI QIDQ5294709zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• Algorithms for recognizing restricted interpolation over the modal logic S4
• scientific article; zbMATH DE number 1989661 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 3887648 (Why is no real title available?)
• scientific article; zbMATH DE number 1396683 (Why is no real title available?)

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)