Multimodal logic Multi-valued logic Neighborhood semantics Provability logic Regular modal logic Relevance logic Strict conditional Two-dimensionalism Notes References This article includes material from the Free On-line Dictionary of Computing, used with permission under the GFDL. Barcan-Marcus, Ruth JSL 11 (1946) and JSL 112 (1947) and "Modalities", OUP, 1993, 1995. Beth, Evert W., 1955. "Semantic entailment and formal derivability", Mededlingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R. Vol 18, no 13, 1955, pp 309–42. Reprinted in Jaakko Intikka (ed.) The Philosophy of Mathematics, Oxford University Press, 1969 (Semantic Tableaux proof methods). Beth, Evert W., "Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic", D. Reidel, 1962 (Semantic Tableaux proof methods). Blackburn, P.; van Benthem, J.; and Wolter, Frank; Eds. (2006) Handbook of Modal Logic. North Holland. Blackburn, Patrick; de Rijke, Maarten; and Venema, Yde (2001) Modal Logic. Cambridge University Press. Chagrov, Aleksandr; and Zakharyaschev, Michael (1997) Modal Logic. Oxford University Press. Chellas, B. F. (1980) Modal Logic: An Introduction. Cambridge University Press. Cresswell, M. J. (2001) "Modal Logic" in Goble, Lou; Ed., The Blackwell Guide to Philosophical Logic. Basil Blackwell: 136–58. Fitting, Melvin; and Mendelsohn, R. L. (1998) First Order Modal Logic. Kluwer. James Garson (2006) Modal Logic for Philosophers. Cambridge University Press. . A thorough introduction to modal logic, with coverage of various derivation systems and a distinctive approach to the use of diagrams in aiding comprehension. Girle, Rod (2000) Modal Logics and Philosophy. Acumen (UK). . Proof by refutation trees. A good introduction to the varied interpretations of modal logic. Goldblatt, Robert (1992) "Logics of Time and Computation", 2nd ed., CSLI Lecture Notes No. 7. University of Chicago Press. —— (1993) Mathematics of Modality, CSLI Lecture Notes No. 43. University of Chicago Press. —— (2006) "Mathematical Modal Logic: a View of its Evolution", in Gabbay, D. M.; and Woods, John; Eds., Handbook of the History of Logic, Vol. 6. Elsevier BV. Goré, Rajeev (1999) "Tableau Methods for Modal and Temporal Logics" in D'Agostino, M.; Gabbay, D.; Haehnle, R.; and Posegga, J.; Eds., Handbook of Tableau Methods. Kluwer: 297–396. Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal Logic. Routledge. Jónsson, B. and Tarski, A., 1951–52, "Boolean Algebra with Operators I and II", American Journal of Mathematics 73: 891–939 and 74: 129–62. Kracht, Marcus (1999) Tools and Techniques in Modal Logic, Studies in Logic