Keyphrases
- modal logic
- temporal logic
- model checking
- proof search
- inference rules
- sequent calculus
- epistemic logic
- cut elimination
- theorem prover
- model checker
- decision procedures
- formal specification
- prime implicates
- linear logic
- theorem proving
- satisfiability problem
- formal verification
- nonmonotonic logics
- default logic
- classical logic
- dynamic logic
- logical framework
- situation calculus
- formal methods
- finite state machines
- modal operators
- evolutionary algorithm
- natural deduction
- search procedure
- probability distribution