Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
Visser (1996): Bisimulations, model descriptions and propositional quantifiers
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
Introduces constructive neighbourhood semantics and an adapted structured calculus for intuitionistic monotone modal logic IM, proving decidability and noting analogies to classical variants of M and K.
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.
-
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
Introduces constructive neighbourhood semantics and an adapted structured calculus for intuitionistic monotone modal logic IM, proving decidability and noting analogies to classical variants of M and K.