Keyphrases
- epistemic logic
- modal logic
- temporal logic
- logic programming
- complete axiomatization
- predicate logic
- model checking
- classical logic
- artificial intelligence
- sound and complete axiomatization
- inference rules
- situation calculus
- multi valued
- defeasible logic
- video sequences
- automated reasoning
- description logics
- computational properties
- set theory
- multi agent systems
- model checker
- abductive reasoning
- asynchronous circuits
- multi agent
- real world