Definability in Normal Extensions of S4

DOI10.1023/B:ALLO.0000035113.06412.22zbMath1115.03018OpenAlexW2046320091MaRDI QIDQ5294709

Larisa 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 logicsuperintuitionistic logicprojective Beth propertyGrzegorczyk logiclocally tabular extension

Mathematics Subject Classification ID

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

Related Items (5)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Definability and interpolation in non-classical logics ⋮ Restricted interpolation over modal logic S4

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