Uniform Interpolation and Propositional Quantifiers in Modal Logics |
| |
Authors: | Marta Bílková |
| |
Institution: | (1) Department of Logic, Charles University, Celetná 20, 116 42 Praha 1, Czech Republic |
| |
Abstract: | We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view.
Our approach is adopted from Pitts’ proof of uniform interpolationin 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. It provides an explicit
algorithm constructing the interpolants.
Presented by Heinrich Wansing |
| |
Keywords: | modal logic sequent calculus interpolation propositional quantifiers |
本文献已被 SpringerLink 等数据库收录! |