A note on model checking the modal v-calculus
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 761-772
- https://doi.org/10.1007/bfb0035797
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Nature ,2005
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A decidable mu-calculus: Preliminary reportPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955