A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Uniform Interpolation and Propositional Quantifiers in Modal Logics
2007
Studia Logica: An International Journal for Symbolic Logic
Preserved Fulltext
We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts' proof of uniform interpolation in intuitionistic propositional logic [15] . The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible. We shall present such a proof of the uniform interpolation theorem for normal modal logics K and T.
doi:10.1007/s11225-007-9021-5
fatcat:zafkuihx7zaxhhnv3phwvgpmii