http://wiki.karljones.com/index.php?action=history&feed=atom&title=Game_semantics 2026-10-23T16:01:40Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Game_semantics&diff=18312&oldid=prev 2016-09-14T03:53:21Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 03:53, 14 September 2016</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Game semantics''' (German: ''dialogische Logik'', translated as &quot;dialogical logic&quot;) is an approach to [[Semantics of logic|formal semantics]] that grounds the concepts of [[truth]] or [[validity]] on [<del class="diffchange diffchange-inline">{</del>Game theory|game-theoretic]] concepts, such as the existence of a winning strategy for a player, somewhat resembling [[Socratic dialogues]] or medieval [[theory of Obligationes]].</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Game semantics''' (German: ''dialogische Logik'', translated as &quot;dialogical logic&quot;) is an approach to [[Semantics of logic|formal semantics]] that grounds the concepts of [[truth]] or [[validity]] on [<ins class="diffchange diffchange-inline">[</ins>Game theory|game-theoretic]] concepts, such as the existence of a winning strategy for a player, somewhat resembling [[Socratic dialogues]] or medieval [[theory of Obligationes]].</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td></tr> </table>

Karl Jones http://wiki.karljones.com/index.php?title=Game_semantics&diff=18311&oldid=prev 2016-09-14T03:51:51Z

<p>Created page with &quot;&#039;&#039;&#039;Game semantics&#039;&#039;&#039; (German: &#039;&#039;dialogische Logik&#039;&#039;, translated as &quot;dialogical logic&quot;) is an approach to <a href="/index.php/Semantics_of_logic" title="Semantics of logic">formal semantics</a> that grounds the concepts of [...&quot;</p> <p><b>New page</b></p><div>'''Game semantics''' (German: ''dialogische Logik'', translated as &quot;dialogical logic&quot;) is an approach to [[Semantics of logic|formal semantics]] that grounds the concepts of [[truth]] or [[validity]] on [{Game theory|game-theoretic]] concepts, such as the existence of a winning strategy for a player, somewhat resembling [[Socratic dialogues]] or medieval [[theory of Obligationes]].<br /> <br /> == See also ==<br /> <br /> * [[Computability logic]]<br /> * [[Dependence logic]]<br /> * [[Ehrenfeucht–Fraïssé game]]<br /> * [[Independence-friendly logic]]<br /> * [[Interactive computation]]<br /> * [[Intuitionistic logic]]<br /> * [[Ludics]]<br /> * [[Semantics of logic]]<br /> * [[Theory of Obligationes]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Game_semantics Game semantics] @ Wikipedia.org <br /> <br /> <br /> [[Category:Logic]]</div>

Karl Jones