Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Speaker: Marta Bilkova
(Math.Inst., Czech Acad.Sc.)
Date: Thursday 1 December 2005
Time: 15:15-17:00
Location: Room P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.