http://wiki.karljones.com/index.php?action=history&feed=atom&title=Kripke_semantics 2026-10-23T20:03:55Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Kripke_semantics&diff=17551&oldid=prev 2016-08-31T20:31:32Z

<p>Created page with &quot;&#039;&#039;&#039;Kripke semantics&#039;&#039;&#039; (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal <a href="/index.php/Semantics" title="Semantics">semantics</a> for non-classical...&quot;</p> <p><b>New page</b></p><div>'''Kripke semantics''' (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal [[semantics]] for [[non-classical logic]] systems created in the late 1950s and early 1960s by [[Saul Kripke]] and [[André Joyal]].<br /> <br /> == Description ==<br /> <br /> It was first conceived for [[Modal logic|modal logics]], and later adapted to intuitionistic logic and other non-classical systems.<br /> <br /> The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics, because the [[model theory]] of such logics was almost non-existent before Kripke ([[Algebraic semantics (mathematical logic)|algebraic semantics]] existed, but were considered 'syntax in disguise').<br /> <br /> == See also ==<br /> <br /> * [[Alexandrov topology]]<br /> * [[Algebraic semantics (computer science)]]<br /> * [[Algebraic semantics (mathematical logic)]]<br /> * [[Non-classical logic]]<br /> * [[Normal modal logic]]<br /> * [[Two dimensionalism]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Kripke_semantics Kripke semantics] @ Wikipedia.org <br /> <br /> [[Category:Logic]]</div>

Karl Jones