Uniform Lyndon interpolation is shown for GLS via non-wellfounded proofs, closing a prior gap and yielding an alternative cut-elimination proof.
Akbar Tabatabai, R
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
Basic tense logic has the uniform interpolation property via an extension of the layered bisimulation semantic argument from modal logic K.
citing papers explorer
-
Uniform Lyndon Interpolation via Non-wellfounded Proofs
Uniform Lyndon interpolation is shown for GLS via non-wellfounded proofs, closing a prior gap and yielding an alternative cut-elimination proof.
-
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.