On Quantified Propositional Logics and the Exponential Time Hierarchy.
Miika HannulaJuha KontinenMartin LückJonni VirtemaPublished in: GandALF (2016)
Keyphrases
- expressive power
- default logic
- propositional logic
- first order logic
- classical first order logic
- coalition logic
- modal logic
- propositional variables
- hierarchical structure
- autoepistemic logic
- linearly ordered
- logic programming
- multi valued
- epistemic logic
- higher level
- data sets
- horn clauses
- logical framework
- decision procedures
- lower level
- class hierarchy
- exponential size
- inference rules
- satisfiability testing
- knowledge representation
- data model