Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Accessibility relation
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Propositional_attitude/KpEYEPGc">Propositional attitude</a></li> <li><a href="/facts/Modal_depth/MWFngcvy">Modal depth</a></li></ul> <ul><li>Gerla, G.; <i>Transformational semantics for first order logic</i>, <a href="http://www.vub.ac.be/CLWF/L&A/">Logique et Analyse</a>, No. 117–118, pp. 69–79, 1987.</li> <li>Fitelson, Brandon; <i>Notes on "Accessibility" and Modality</i>, 2003.</li> <li>Brown, Curtis; <i>Propositional Modal Logic: A Few First Steps</i>, 2002.</li> <li>Kripke, Saul; <i>Naming and Necessity</i>, Oxford, 1980.</li> <li>Lewis, David K. (1968). "Counterpart Theory and Quantified Modal Logic". <i>The Journal of Philosophy</i>. 65 (5): 113–126. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2024555">10.2307/2024555</a>. <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2024555">2024555</a>.</li> <li>Gasquet, Olivier; et al. (2013). <a href="https://books.google.com/books?id=qFS-BAAAQBAJ"><i>Kripke's Worlds: An Introduction to Modal Logics via Tableaux</i></a>. Springer. pp. 14–16. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3764385033. Retrieved 23 July 2020.</li> <li><a href="https://web.archive.org/web/20060215083632/http://www.cc.utah.edu/~nahaj/logic/structures/systems/index.html">List of Logic Systems</a> List of most of the more popular modal logics.</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Blackburn, Patrick; de Rijke, Maarten; Venema, Yde (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science. ISBN 9780521527149. <a href="9780521527149" target="_blank">9780521527149</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>van Benthem, Johan (2010). Modal Logic for Open Minds (PDF). CSLI. S2CID 62162288. Archived from the original (PDF) on 2020-02-19. <a href="https://web.archive.org/web/20200219165057/https://pdfs.semanticscholar.org/9bea/866c143326aeb700c20165a933f583b16a46.pdf" target="_blank">https://web.archive.org/web/20200219165057/https://pdfs.semanticscholar.org/9bea/866c143326aeb700c20165a933f583b16a46.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> </ol>