Pretabular Tense Logics over S4t

2024/12/27 by Chen, Qian
#03B44 #03B45 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2412.19558

Abstract

A logic L is called tabular if it is the logic of some finite frame and L is pretabular if it is not tabular while all of its proper consistent extensions are tabular. In this work, we study pretabular tense logics in the lattice NExt(S4_t) of all extensions of S4_t, tense S4. For all 0

Related

• Tense distributive lattices: algebra, logic and topology
• On pre-local tabularity above S4× S4
• Tense logics based on posets
• Tense operators on distributive lattices with implication
• An alternative definition of tense operators on residuated lattices