Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic. In this paper we examine whether and to what extent would including game semantics in the syllabus of an intr...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2018-01-01
|
| Series: | MATEC Web of Conferences |
| Online Access: | https://doi.org/10.1051/matecconf/201821004007 |