Hierarchies in Inclusion Logic with Lax Semantics.
Miika HannulaPublished in: ACM Trans. Comput. Log. (2018)
Keyphrases
- logic programming
- proof theory
- epistemic logic
- nonmonotonic logics
- sound and complete with respect
- logical framework
- propositional dynamic logic
- sound and complete axiomatization
- formal semantics
- higher order logic
- dynamic logic
- proof theoretic
- modal operators
- formal language
- conditional logic
- operational semantics
- active rules
- computational properties
- alternating time temporal logic
- declarative semantics
- model theoretic
- intuitionistic logic
- predicate calculus
- valued semantics
- modal logic
- classical logic
- autoepistemic logic
- logic programs
- default reasoning
- semantic information
- rule engine
- relational databases
- highly expressive
- knowledge representation
- rewrite systems
- hierarchical structures
- derivation rules
- deductive databases
- automated reasoning
- multi valued
- reasoning tasks
- kripke models
- multi agent systems
- argumentation semantics
- model checking
- proof procedures
- hierarchical structure
- logical rules
- natural deduction
- theorem prover
- knowledge base
- possibilistic logic