Logic and games
Edit Page
Report
Scan day: 07 February 2014 UTC
-458
Virus safety - good
Description: Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Logic and Games (Stanford Encyclopedia of Philosophy) First published Fri Jul 27, 2001; substantive revision Wed Feb 6, 2013 Games between two players, of the kind where one player wins and one loses, became a familiar tool in many branches of logic during the second half of the twentieth century. Important examples are semantic games used to define truth, back-and-forth games used to compare structures, and dialogue games to express (and perhaps explain) formal proofs.
Size: 474 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Logic and Games (Stanford Encyclopedia of Philosophy) |
| Keywords: | |
| Description: | |
| IP-address: | 171.67.193.20 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |