<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Garson (James) - Modal Logic (Theo Todman's Book Collection - Paper Abstracts) </title> <link href="../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../TT_ICO.png" /></head> <BODY> <CENTER> <div id="header"><HR><h1>Theo Todman's Web Page - Paper Abstracts</h1><HR></div><A name="Top"></A> <TABLE class = "Bridge" WIDTH=950> <tr><th><A HREF = "../../PaperSummaries/PaperSummary_05/PaperSummary_5601.htm">Modal Logic</A></th></tr> <tr><th><A HREF = "../../Authors/G/Author_Garson (James).htm">Garson (James)</a></th></tr> <tr><th>Source: Stanford Encyclopaedia of Philosophy, 2000-9</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=600><tr><td><A HREF = "../../PaperSummaries/PaperSummary_05/PaperSummary_5601.htm">Paper Summary</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_05/PapersToNotes_5601.htm">Notes Citing this Paper</A></td><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><U>Author s Abstract</U><FONT COLOR = "800080"><BR><BR>A <a name="1"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>1</SUP> is an expression (like  necessarily or  possibly ) that is used to qualify the truth of a judgement. <a name="2"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal logic</A><SUP>2</SUP> is, strictly speaking, the study of the deductive behavior of the expressions  it is necessary that and  it is possible that . However, the term <a name="3"></a><A HREF="../../Notes/Notes_1/Notes_121.htm"> modal logic </A><SUP>3</SUP> may be used more broadly for a family of related systems. These include logics for belief, for tense and other temporal expressions, for the deontic (moral) expressions such as  it is obligatory that and  it is permitted that , and many others. An understanding of <a name="4"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">modal logic</A><SUP>4</SUP> is particularly valuable in the formal analysis of philosophical argument, where expressions from the <a name="5"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>5</SUP> family are both common and confusing. <a name="6"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal logic</A><SUP>6</SUP> also has important applications in computer science.<ol type="1"><li>What is <a name="7"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logic</A><SUP>7</SUP>?</li><li><a name="8"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logics</A><SUP>8</SUP></li><li>Deontic Logics</li><li>Temporal Logics</li><li>Conditional Logics</li><li>Possible Worlds Semantics</li><li><a name="9"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>9</SUP> Axioms and Conditions on Frames</li><li>Map of the Relationships Between <a name="10"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logics</A><SUP>10</SUP></li><li>The General Axiom</li><li>Provability Logics</li><li>Advanced <a name="11"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logic</A><SUP>11</SUP></li><li>Bisimulation</li><li>Quantifiers in <a name="12"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logic</A><SUP>12</SUP><BR>Bibliography<BR>Other Internet Resources<BR>Related Entries </li></ol></FONT><hr><FONT COLOR = "0000FF"><B>Comment: </B><BR><BR>First published Tue Feb 29, 2000; substantive revision Fri Oct 2, 2009; see <a name="W373W"></a><A HREF = "https://plato.stanford.edu/archives/win2009/entries/logic-modal/" TARGET = "_top">Link</A>.<BR><FONT COLOR = "0000FF"><HR></P><a name="ColourConventions"></a><p><b>Text Colour Conventions (see <A HREF="../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</b></p><OL TYPE="1"><LI><FONT COLOR = "0000FF">Blue</FONT>: Text by me; &copy; Theo Todman, 2018</li><LI><FONT COLOR = "800080">Mauve</FONT>: Text by correspondent(s) or other author(s); &copy; the author(s)</li></OL> <BR><HR><BR><CENTER> <TABLE class = "Bridge" WIDTH=950> <TR><TD WIDTH="30%">&copy; Theo Todman, June 2007 - August 2018.</TD> <TD WIDTH="40%">Please address any comments on this page to <A HREF="mailto:theo@theotodman.com">theo@theotodman.com</A>.</TD> <TD WIDTH="30%">File output: <time datetime="2018-08-03T00:09" pubdate>03/08/2018 00:09:57</time> <br><A HREF="../../Notes/Notes_10/Notes_1010.htm">Website Maintenance Dashboard</A></TD></TR> <TD WIDTH="30%"><A HREF="#Top">Return to Top of this Page</A></TD> <TD WIDTH="40%"><A HREF="../../Notes/Notes_11/Notes_1140.htm">Return to Theo Todman's Philosophy Page</A></TD> <TD WIDTH="30%"><A HREF="../../index.htm">Return to Theo Todman's Home Page</A></TD> </TR></TABLE></CENTER><HR> </BODY> </HTML>