Hierarchies in independence and inclusion logic with strict semantics.
Miika HannulaJuha KontinenPublished in: CoRR (2014)
Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- epistemic logic
- nonmonotonic logics
- logical framework
- propositional dynamic logic
- proof theoretic
- computational properties
- modal logic
- dynamic logic
- conditional logic
- modal operators
- model theoretic
- formal language
- logic programs
- derivation rules
- higher order logic
- rule engine
- active rules
- classical logic
- operational semantics
- proof procedures
- automated reasoning
- formal semantics
- default reasoning
- alternating time temporal logic
- rewrite systems
- intuitionistic logic
- logical rules
- valued semantics
- highly expressive
- kripke models
- defeasible logic
- relational structures
- multi valued
- deductive databases
- hierarchical structure
- description logics
- truth maintenance systems
- linear logic
- asynchronous circuits
- probabilistic logic
- reasoning tasks
- temporal logic
- integrity constraints
- semantic information
- knowledge representation