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.