An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning.
Alessio MansuttiPublished in: Inf. Comput. (2022)
Keyphrases
- proof theory
- intuitionistic logic
- proof theoretic
- horn logic
- computational properties
- default reasoning
- classical logic
- knowledge representation formalisms
- modal logic
- automated reasoning
- propositional dynamic logic
- inheritance reasoning
- propositional calculus
- decision trees
- reasoning problems
- logical framework
- valued logic
- linear logic
- deductive reasoning
- epistemic logic
- coalition logic
- expressive power
- conditional logic
- reasoning about actions
- logical inference
- reasoning engine
- order of magnitude reasoning
- inconsistent knowledge
- knowledge representation
- description logics
- logic programming
- nonmonotonic inference
- human reasoning
- nonmonotonic reasoning
- proof procedure
- tree structure
- proof procedures
- probabilistic logic
- nonmonotonic logics
- knowledge base
- propositional logic
- higher order logic
- abductive reasoning
- set theory
- knowledge representation and reasoning
- state space
- transitive closure
- logical rules
- modal operators
- np complete
- theorem proving
- reasoning tasks