Quantifier elimination for quantified propositional logics on Kripke frames of type omega
The minimal extension of intuitionistic propositional language is characterized, where propositional quantifiers are eliminable w.r.t. Kripke frames of type omega.
quantifier elimination quantified propositional logics godel logics