References
- [Che80]
-
Brian F. Chellas.
Modal Logics: an Introduction.
Cambridge University Press, 1980.
- [CM95]
-
Olivier Coudert and Jean-Christophe Madre.
The implicit set paradigm: A new approach to finite state system
verification.
Formal Methods in System Design, 6(2):133--145, 1995.
- [Eme90]
-
E. Allen Emerson.
Temporal and modal logics.
In Leeuwen [Lee90], chapter 16, pages 995--1072.
- [Fit83]
-
Melvin C. Fitting.
Proof Methods for Modal and Intuitionistic Logics.
Reidel Publishing Company, Dordrecht, 1983.
- [GG84]
-
Dov M. Gabbay and F. Guenthner.
Handbook of Philosophical Logic, volume 2.
Reidel Publishing Company, Dordrecht, 1984.
- [Gor91]
-
Rajeev Prabhakar Goré.
Semi-analytic tableaux for propositional normal modal logics with
applications to nonmonotonicity.
Logique et Analyse, 133--134:73--104, 1991.
- [HC68]
-
G.E. Hughes and M.J. Creswell.
An Introduction to Modal Logics.
Methuen and Co., 1968.
- [HC84]
-
G.E. Hughes and M.J. Creswell.
A Companion to Modal Logics.
Methuen and Co., 1984.
- [KT90]
-
Dexter Kozen and Jerzy Tiuryn.
Logics of programs.
In Leeuwen [Lee90], chapter 14, pages 789--840.
- [Lee90]
-
Jan van Leeuwen, editor.
Handbook of Theoretical Computer Science, volume B. Elsevier
Science Publishers b.v., 1990.
- [Lew18]
-
Clarence I. Lewis.
A Survey of Symbolic Logic.
University of California, 1918.
- [McM93]
-
Kenneth L. McMillan.
Symbolic Model Checking.
Kluwer Academic Publishers, 1993.
- [Mil89]
-
Robin Milner.
Communication and Concurrency.
International Series in Computer Science. Prentice Hall, 1989.
- [Ohl93]
-
Hans-Jürgen Ohlbach.
Translation methods for non-classical logics: An overview.
Bulletin of the Interest Group in Pure and Applied Logics,
1(1):69--89, 1993.
Available by ftp on the IGPL server, at theory.doc.ic.ac.uk:/theory/forum/igpl/Bulletin.
- [Sti92]
-
Colin Stirling.
Modal and temporal logics.
In Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, editors,
Handbook of Logics in Computer Science, volume 2, pages 477--563.
Clarendon Press, Oxford, 1992.