Editing Modal logic (section)

==References==
* This article includes material from the [[Free On-line Dictionary of Computing]], used with [[Wikipedia:Foldoc license|permission]] under the [[GFDL]].
* Barcan-Marcus, Ruth JSL 11 (1946) and JSL 112 (1947) and "Modalities", OUP, 1993, 1995.
* Beth, Evert W., 1955. "[https://philpapers.org/rec/BETSEA-10 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., "[https://books.google.com/books?id=IE1FBgAAQBAJ 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.; [[Johan van Benthem (logician)|van Benthem, J.]]; and Wolter, Frank; Eds. (2006) ''[http://www.csc.liv.ac.uk/~frank/MLHandbook/ Handbook of Modal Logic]''. North Holland.
* Blackburn, Patrick; de Rijke, Maarten; and Venema, Yde (2001) ''Modal Logic''. Cambridge University Press. {{ISBN|0-521-80200-8}}
* Chagrov, Aleksandr; and Zakharyaschev, Michael (1997) ''Modal Logic''. Oxford University Press. {{ISBN|0-19-853779-4}}
* Chellas, B. F. (1980) ''[https://books.google.com/books?id=YupiXWV5j6cC Modal Logic: An Introduction]''. Cambridge University Press. {{ISBN|0-521-22476-4}}
* [[Max Cresswell|Cresswell, M. J.]] (2001) "Modal Logic" in Goble, Lou; Ed., ''The Blackwell Guide to Philosophical Logic''. Basil Blackwell: 136–58. {{ISBN|0-631-20693-0}}
* Fitting, Melvin; and Mendelsohn, R. L. (1998) ''First Order Modal Logic''. Kluwer. {{ISBN|0-7923-5335-8}}
* [[James Garson]] (2006) ''Modal Logic for Philosophers''. Cambridge University Press. {{ISBN|0-521-68229-0}}. 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). {{ISBN|0-7735-2139-9}}. Proof by [[analytic tableau|refutation trees]]. A good introduction to the varied interpretations of modal logic.
*{{cite book |last=Girle |first=Rod |title=Modal Logics and Philosophy |publisher=Taylor & Francis |edition=2nd |date=2014 |isbn=978-1-317-49217-7 |url={{GBurl|XqHCBQAAQBAJ|pg=PR5}} }}
* [http://www.mcs.vuw.ac.nz/~rob/ 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) "[http://www.mcs.vuw.ac.nz/~rob/papers/modalhist.pdf 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. {{ISBN|0-415-12599-5}}
* [[Bjarni Jónsson|Jónsson, B.]] and [[Alfred Tarski|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) ''[http://wwwhomes.uni-bielefeld.de/mkracht/html/tools/book.pdf Tools and Techniques in Modal Logic]'', Studies in Logic and the Foundations of Mathematics No. 142. North Holland.
* [[John Lemmon|Lemmon, E. J.]] (with [[Dana Scott|Scott, D.]]) (1977) ''An Introduction to Modal Logic'', American Philosophical Quarterly Monograph Series, no. 11 (Krister Segerberg, series ed.). Basil Blackwell.
* [[Clarence Irving Lewis|Lewis, C. I.]] (with [[Cooper Harold Langford|Langford, C. H.]]) (1932). ''Symbolic Logic''. Dover reprint, 1959.
* [[Arthur Prior|Prior, A. N.]] (1957) ''[https://books.google.com/books?id=K5nymD8qgigC Time and Modality]''. Oxford University Press.
* Snyder, D. Paul "Modal Logic and its applications", Van Nostrand Reinhold Company, 1971 (proof tree methods).
* Zeman, J. J. (1973) ''[http://www.clas.ufl.edu/users/jzeman/modallogic/ Modal Logic.]'' Reidel. Employs [[Polish notation]].
* [https://www.britannica.com/topic/history-of-logic "History of logic"], [[Britannica Online]].