Editing Kripke semantics (section)

==References==
*{{cite book |first1=P. |last1=Blackburn |author2-link=Maarten de Rijke |first2=M. |last2=de Rijke |first3=Yde |last3=Venema |title=Modal Logic |url=https://books.google.com/books?id=-n7uBgAAQBAJ |date=2002 |publisher=Cambridge University Press |isbn=978-1-316-10195-7}}
*{{cite book |last1=Bull |first1=Robert A. |first2=K. |last2=Segerberg |chapter=Basic Modal Logic |editor-first=D.M. |editor-last=Gabbay |editor2-first=F. |editor2-last=Guenthner |series=Handbook of Philosophical Logic |volume=2 |title=Extensions of Classical Logic |chapter-url=https://books.google.com/books?id=IoTtCAAAQBAJ&pg=PA1 |date=2012 |publisher=Springer |isbn=978-94-009-6259-0 |pages=1–88 |orig-year=1984}}
*{{cite book |first1=A. |last1=Chagrov |first2=M. |last2=Zakharyaschev |title=Modal Logic |url=https://books.google.com/books?id=dhgi5NF4RtcC |year=1997 |publisher=Clarendon Press |isbn=978-0-19-853779-3}}
*{{cite book |first1=M.J. |last1=Cresswell |author1-link=Max Cresswell|first2=G.E. |last2=Hughes |author2-link=George Edward Hughes|title=A New Introduction to Modal Logic |url=https://books.google.com/books?id=TkwrBgAAQBAJ |year=2012 |orig-year=1996 |publisher=Routledge |isbn=978-1-134-80028-5}}
*{{cite book |last=Van Dalen |first=Dirk |author-link=Dirk van Dalen|orig-year=1986 |chapter=Intuitionistic Logic |editor-first=Dov M. |editor-last=Gabbay |editor2-first=Franz |editor2-last=Guenthner |series=Handbook of Philosophical Logic |title=Alternatives to Classical Logic |chapter-url=https://books.google.com/books?id=NwDwCAAAQBAJ&pg=PA225 |year=2013 |publisher=Springer |isbn=978-94-009-5203-4 |pages=225–339 |volume=3}}
*{{cite book |author-link=Michael Dummett |first=Michael A. E. |last=Dummett |title=Elements of Intuitionism |url=https://books.google.com/books?id=JVFzknbGBVAC |year=2000 |publisher=Clarendon Press |isbn=978-0-19-850524-2 |edition=2nd}}
*{{cite book |first=Melvin |last=Fitting |authorlink = Melvin Fitting|title=Intuitionistic Logic, Model Theory and Forcing |url=https://archive.org/details/intuitionisticlo0000fitt |url-access=registration |year=1969 |publisher=North-Holland |isbn=978-0-444-53418-7}}
*{{cite book|last1=Gasquet|first1=Olivier|last2=Herzig|first2=Andreas|last3=Said|first3=Bilal|last4=Schwarzentruber|first4=François|title=Kripke's Worlds: An Introduction to Modal Logics via Tableaux|date=2013|publisher=Springer |isbn=978-3764385033|pages=XV, 198|url=https://books.google.com/books?id=qFS-BAAAQBAJ|access-date=24 December 2014}}
*{{cite book|last=Giaquinto|first=Marcus|title=The Search for Certainty : A Philosophical Account of Foundations of Mathematics: A Philosophical Account of Foundations of Mathematics|date=2002|publisher=Oxford University Press|isbn=019875244X|page=256|url=https://books.google.com/books?id=gyNbrpYXzxoC|access-date=24 December 2014}}
*{{cite book |author-link=Robert Goldblatt |first=Robert |last=Goldblatt |chapter=Mathematical Modal Logic: a View of its Evolution |chapter-url=http://www.msor.vuw.ac.nz/~rob/papers/modalhist.pdf |format=PDF |editor-first=Dov M. |editor-last=Gabbay |editor2-first=John |editor2-last=Woods |title=Logic and the Modalities in the Twentieth Century |url=https://books.google.com/books?id=gpwZYXsomEsC&pg=PP1 |date=2006a|publisher=Elsevier |isbn=978-0-08-046303-2 |pages=1–98 |series=Handbook of the History of Logic |volume=7}}
*{{cite book |author-link=Robert Goldblatt |first=Robert |last=Goldblatt |chapter=A Kripke-Joyal Semantics for Noncommutative Logic in Quantales |chapter-url=http://homepages.ecs.vuw.ac.nz/~rob/papers/aiml11printed.pdf |editor-first=G.|editor-last=Governatori|editor2-first=I. |editor2-last=Hodkinson|editor3-first=Y. |editor3-last=Venema |title=Advances in Modal Logic |publisher=College Publications |location=London |year=2006b|isbn=1904987206 |pages=209–225 |volume=6}}
*{{cite book |author-link=Saunders Mac Lane |author2-link=Ieke Moerdijk |first1=Saunders |last1=Mac Lane |first2=Ieke |last2=Moerdijk |title=Sheaves in Geometry and Logic: A First Introduction to Topos Theory |url=https://books.google.com/books?id=LZWLBAAAQBAJ |year=2012 |orig-year=1991 |publisher=Springer |isbn=978-1-4612-0927-0 }}
*{{cite book |last1=Shoham |first1=Yoav |first2=Kevin |last2=Leyton-Brown |title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations |date=2008 |publisher=Cambridge University Press |isbn=978-0521899437 |page=397|url=https://books.google.com/books?id=bMR_qScakukC}}
*{{cite thesis|last=Simpson|first=Alex K.|date=1994|title=The Proof Theory and Semantics of Intuitionistic Modal Logic|url=https://era.ed.ac.uk/handle/1842/407|hdl=1842/407|publisher=[[University of Edinburgh|Edinburgh Research Archive (ERA)]]}}
*{{cite book|last=Stokhof|first=Martin|year=2008|editor1-last=Zamuner|editor1-first=Edoardo|editor2-last=Levy|editor2-first=David K.|title=Wittgenstein's Enduring Arguments|publisher=Routledge|location=London|chapter=The architecture of meaning: Wittgenstein’s ''Tractatus'' and formal semantics|pages=211–244|isbn=9781134107070|chapter-url=https://books.google.com/books?id=MUp8AgAAQBAJ&pg=PA211}}
* {{cite book | last1 = Troelstra | first1 = A. S. | author-link1 = Anne Sjerp Troelstra | last2 = van Dalen | first2 = D. | author-link2 = Dirk van Dalen | title = Constructivism in Mathematics: An Introduction, Volume 1 | url = https://archive.org/details/StudiesInLogicAndTheFoundationsOfMathematics121AnneS.TroelstraDirkVanDalenConstr | series = Studies in Logic and the Foundations of Mathematics | language = en | volume = 121 | year = 1988 | publisher = North-Holland | location = Amsterdam | isbn = 9780444702661 }}