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

Matthias Baaz Norbert Preining

Published in: J. Log. Comput. (2008)

Keyphrases

quantifier elimination
first order logic
inference rules
modal logic
expressive power
functional programming
constraint propagation
cardinality constraints
default logic
databases
natural language
moving objects
constraint satisfaction
theorem proving