Keyphrases
- modal logic
- temporal logic
- model checking
- proof search
- inference rules
- sequent calculus
- epistemic logic
- cut elimination
- decision procedures
- theorem proving
- theorem prover
- prime implicates
- model checker
- formal specification
- formal verification
- satisfiability problem
- linear logic
- classical logic
- logical framework
- nonmonotonic logics
- situation calculus
- formal methods
- default logic
- modal operators
- probability theory
- dynamic logic
- finite state machines
- artificial intelligence
- pspace complete
- programming language
- multi agent systems