Uniform Interpolation and Propositional Quantifiers in Modal Logics

Marta Bílková. Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica, 85(1):1-31, 2007. [doi]

Abstract

Abstract is missing.