Games and Logic
The idea behind these games is to obtain an alternative characterization of logical notions cherished by logicians such as truth in a model, or provability (in a formal system). We offer a quick survey of Hintikka's evaluation games, which offer an alternative notion of truth in a model for fir...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
New Prairie Press
2013-12-01
|
| Series: | The Baltic International Yearbook of Cognition, Logic and Communication |
| Online Access: | http://newprairiepress.org/biyclc/vol8/iss1/8/ |