Propositional Logics Complexity and the Sub-Formula Property.
Edward Hermann HaeuslerPublished in: DCM (2014)
Keyphrases
- propositional formulas
- worst case
- polynomial hierarchy
- first order logic
- expressive power
- inference rules
- propositional logic
- boolean formula
- horn clauses
- propositional variables
- conjunctive normal form
- computational cost
- default logic
- constraint satisfaction problems
- computational properties
- multi valued
- valued logic
- strips planning
- classical first order logic