Please note that this newsitem has been archived, and may contain outdated information or links.
1 December 2005, Uniform Interpolation in Modal Logics
, Marta Bilkova
(Math.Inst., Czech Acad.Sc.)
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. 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 can present such a proof of the uniform interpolation theorem for normal modal logics K, T, GL, S4Grz and K4Grz. It provides an explicit algorithm constructing the interpolants.
For more information, contact Yde Venema at yde at science.uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.