Keyphrases
- modal operators
- modal logic
- belief revision
- logic programming
- nonmonotonic logics
- proof theory
- conditional logic
- epistemic logic
- sound and complete axiomatization
- logical framework
- dynamic logic
- sound and complete with respect
- propositional dynamic logic
- access control
- probability theory
- truth maintenance systems
- proof theoretic
- description logics
- autoepistemic logic
- model theoretic
- situation calculus
- default reasoning
- belief functions
- inference rules
- higher order logic
- default logic
- formal language
- truth values
- highly expressive
- fixed point semantics
- fine grained
- proof procedures
- alternating time temporal logic
- computational properties
- conflict resolution
- propositional logic
- temporal logic
- predicate calculus
- logical rules
- reasoning tasks
- security requirements
- intuitionistic logic
- nonmonotonic reasoning
- logic programs