Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
Journal of Philosophical Logic 26(5), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).
citing papers explorer
-
Uniform Interpolation of Basic Tense Logic
Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
-
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).