Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
Rautenberg (1983): Modal tableau calculi and interpolation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.