| Original language | English |
|---|---|
| Pages (from-to) | 265-269 |
| Number of pages | 5 |
| Journal | Logique et Analyse |
| Volume | 49 |
| Issue number | 195 |
| Publication status | Published - 2006 |
Deterministic and nondeterministic strategies for Hintikka games in first-order and branching-quantifier logic
Thomas Forster
Research output: Contribution to journal › Article