<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Melia (Joseph) - Modal Language and 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_07/PaperSummary_7209.htm">Modal Language and Modal Logic</A></th></tr> <tr><th><A HREF = "../../Authors/M/Author_Melia (Joseph).htm">Melia (Joseph)</a></th></tr> <tr><th>Source: Melia - Modality, 2003, Chapter 2</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=200><tr><td><A HREF = "../../PaperSummaries/PaperSummary_07/PaperSummary_7209.htm">Paper Summary</A></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><u>Sections</u><FONT COLOR = "800080"><ol type="1"><li>Quantified <a name="1"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>1</SUP> Language <ul type="disc"><li>1.1 QML: a Precise <a name="2"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>2</SUP> Language</li><li>1.2 QML: Some Concerns</li><li>1.3 Expressive Limitations of QML<BR>& 1.3.1 Numerical Quantification<BR>& 1.3.2 There Could Have Been Other Things than There Actually Are<BR>& 1.3.3 <a name="3"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modalized</A><SUP>3</SUP> Comparatives</li><li>1.4 First-Order Quantification over Possibilia<BR>& 1.4.1 Numerical Quantification Revisited<BR>& 1.4.2  There Could Have Been Other Things than There Actually Are Revisited<BR>& 1.4.3 <a name="4"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modalized</A><SUP>4</SUP> Comparatives Revisited</li></ul></li><li><a name="5"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal Logic</A><SUP>5</SUP><ul type="disc"><li>2.1 A Perplexing Plethora</li><li>2.2 Argument and Abstraction</li><li>2.3 Model Theory: the Basics</li><li>2.4 Model Theory for <a name="6"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>6</SUP> Languages: an Intuitive Heuristic</li><li>2.5 Model Theory for <a name="7"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>7</SUP> Languages in Six Easy Pieces</li><li>2.6 Validity</li><li>2.7 The Philosophy of Model Theory</li></ul> </li></ol></FONT><hr><FONT COLOR = "0000FF"><B>Comment: </B><BR><BR>Photocopy of complete book; Filed in <a name="8"></a>"<A HREF = "../../BookSummaries/BookSummary_06/BookPaperAbstracts/BookPaperAbstracts_6533.htm">Various - Papers on Identity Boxes: Vol 11 (M2: Me+)</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:11" pubdate>03/08/2018 00:11:36</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>