Establishes analytic cut property for sequent calculi of epistemic logics with distributed knowledge on K45, KD45, and S5 bases, yielding Craig interpolation as corollary.
Maehara (1961): Craig no Interpolation Theorem
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
citing papers explorer
-
Analytic Cut in Epistemic Logics with Distributed Knowledge
Establishes analytic cut property for sequent calculi of epistemic logics with distributed knowledge on K45, KD45, and S5 bases, yielding Craig interpolation as corollary.
-
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.