Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- nonmonotonic logics
- sound and complete with respect
- conditional logic
- probability theory
- proof theoretic
- logical framework
- computational properties
- classical logic
- operational semantics
- alternating time temporal logic
- modal operators
- model theoretic
- formal language
- intuitionistic logic
- dynamic logic
- default reasoning
- valued semantics
- formal semantics
- active rules
- nonmonotonic reasoning
- rule engine
- default logic
- probability distribution
- derivation rules
- rewrite systems
- fixed point semantics
- logic programs
- semantic information
- modal logic
- predicate calculus
- reasoning tasks
- declarative semantics
- multi valued
- valued logic
- logical rules
- autoepistemic logic
- higher order logic
- predicate logic
- action theories
- transformation rules
- highly expressive
- logical formulas
- automated reasoning
- situation calculus
- deductive databases
- algebraic structure
- deontic logic