A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.
Morten Heine SørensenPawel UrzyczynPublished in: Notre Dame J. Formal Log. (2010)
Keyphrases
- propositional logic
- predicate logic
- belief revision
- temporal logic
- first order logic
- knowledge representation and reasoning
- quantified boolean formulae
- natural language
- lattice theory
- possibilistic logic
- semantic network
- predicate calculus
- lower level
- computational linguistics
- theorem proving
- satisfiability testing
- belief change
- propositional satisfiability
- keywords
- knowledge based systems
- general purpose
- order sorted