Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- propositional dynamic logic
- sound and complete with respect
- logical framework
- proof theoretic
- epistemic logic
- nonmonotonic logics
- dynamic logic
- conditional logic
- computational properties
- formal language
- default reasoning
- derivation rules
- operational semantics
- modal operators
- model theoretic
- algebraic structure
- alternating time temporal logic
- highly expressive
- logical rules
- rewrite systems
- belief revision
- modal logic
- active rules
- formal semantics
- deductive databases
- valued semantics
- abstract argumentation frameworks
- predicate logic
- fixed point semantics
- logical theories
- proof procedures
- higher order logic
- rule engine
- nonmonotonic reasoning
- active databases
- multi valued
- defeasible logic
- autoepistemic logic
- argumentation semantics
- default logic
- inference rules
- valued logic
- classical logic
- semantic information
- relational structures
- knowledge representation