Keyphrases
- modal logic
- decision procedures
- temporal logic
- automated reasoning
- inference rules
- mazurkiewicz traces
- reasoning systems
- epistemic logic
- model checking
- theorem proving
- reasoning tasks
- classical logic
- knowledge base
- knowledge representation
- knowledge representation and reasoning
- satisfiability problem
- sequent calculus
- logical framework
- conditional logic
- model theoretic
- probabilistic reasoning
- multi agent systems
- finite state machines
- default logic
- theorem prover
- cooperative
- nonmonotonic logics
- autoepistemic logic