Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- sound and complete with respect
- nonmonotonic logics
- dynamic logic
- logical framework
- formal semantics
- proof theoretic
- active rules
- operational semantics
- modal logic
- modal operators
- alternating time temporal logic
- conditional logic
- autoepistemic logic
- rewrite systems
- predicate calculus
- intuitionistic logic
- algebraic structure
- fixed point semantics
- formal language
- derivation rules
- predicate logic
- model theoretic
- default reasoning
- proof procedures
- computational properties
- programming language
- knowledge base
- valued semantics
- rule engine
- highly expressive
- declarative semantics
- defeasible logic
- abstract argumentation frameworks
- logical rules
- nonmonotonic reasoning
- belief revision
- semantic information
- description logics
- action theories