Pretabular tense logics over S4_t

DOI10.1016/J.APAL.2026.103807MaRDI QIDQ7304790zbMATH OpenFDO

Authors Qian Chen

Publication date 28 July 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103807

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Cites work

• A note on the interpolation property in tense logic
• An ascending chain of S4 logics
• Even more about the lattice of tense logics
• Finite-level modal logics
• Five critical modal systems
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3637821 (Why is no real title available?)
• scientific article; zbMATH DE number 2079045 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Lattices of finitely alternative normal tense logics
• Logics containing K4. Part I
• Logics containing K4. Part II
• Modal logic
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Pretabular superintuitionistic logic
• Pretabular varieties of modal algebras
• Recurrent geodesics on a surface of negative curvature.
• Semantic analysis of tense logics
• Some embedding theorems for modal logic
• Splitting lattices of logics
• Splittings and the finite model property
• Substitutions in dynamics, arithmetics and combinatorics
• Tabularity and post-completeness in tense logic
• Tense Logic Without Tense Operators
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The finite model property in tense logic
• The lattice of modal logics: an algebraic investigation
• The lattice of varieties of modal algebras is not strongly atomic
• The Logics Containing S 4.3
• Tools and techniques in modal logic
• Willem Blok and modal logic
• Über unendliche Zeichenreihen.

This page was built for publication: Pretabular tense logics over \(\mathsf{S4}_t\)

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