Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).
Blok (1980): Pretabular Varieties of Modal Algebras
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
The paper establishes necessary and sufficient conditions for local finiteness of modal K4 algebras using dual frame tunability and order properties, and proves the finite model property for the logic of well-quasi-orderings.
citing papers explorer
-
Most Properties are Undecidable for Transitive Tense Logics
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).
-
On Local Finiteness of Modal K4 Algebras
The paper establishes necessary and sufficient conditions for local finiteness of modal K4 algebras using dual frame tunability and order properties, and proves the finite model property for the logic of well-quasi-orderings.