Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Saved in:

Bibliographic Details
Title:	Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.
Authors:	Baaz, Matthias, Preining, Norbert
Source:	Journal of Logic & Computation; August 2008, Vol. 18 Issue 4, p649-668, 20p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exn004