Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus
Alwen TiuDale MillerPublished in: CoRR (2008)
Keyphrases
- proof search
- modal logic
- inference rules
- sequent calculus
- cut elimination
- theorem proving
- decision procedures
- temporal logic
- theorem prover
- classical logic
- logical framework
- epistemic logic
- nonmonotonic logics
- linear logic
- model checker
- proof procedure
- expert systems
- formal specification
- high level
- default logic
- operational semantics
- search procedure
- model checking
- bayesian networks