Proof search specifications of bisimulation and modal logics for the pi-calculus.
Alwen TiuDale MillerPublished in: ACM Trans. Comput. Log. (2010)
Keyphrases
- modal logic
- proof search
- inference rules
- sequent calculus
- cut elimination
- theorem prover
- temporal logic
- decision procedures
- theorem proving
- epistemic logic
- classical logic
- linear logic
- default logic
- nonmonotonic logics
- formal specification
- logical framework
- modal operators
- automated reasoning
- proof procedure
- situation calculus