Keyphrases
- modal logic
- kripke models
- epistemic logic
- modal operators
- nonmonotonic logics
- logic programming
- proof theory
- inference rules
- conditional logic
- temporal logic
- sound and complete axiomatization
- dynamic logic
- sound and complete with respect
- logical framework
- propositional dynamic logic
- model checking
- proof procedures
- computational properties
- operational semantics
- autoepistemic logic
- desirable properties
- classical logic
- model theoretic
- proof theoretic
- predicate calculus
- intuitionistic logic
- valued semantics
- abstract argumentation frameworks
- rule engine
- highly expressive
- formal semantics
- algebraic structure
- action theories
- higher order logic
- logic programs
- derivation rules
- semantic information
- default logic
- formal language
- logical rules
- default reasoning
- rewrite systems
- default theories
- deductive databases
- active rules
- fixed point semantics