Game Comonads & Generalised Quantifiers
Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common in finite model theory. In particular they expose connections between one-sided and two-sided games, and parameters suc...
| Главные авторы: | , |
|---|---|
| Формат: | Статья |
| Язык: | English |
| Опубликовано: |
Logical Methods in Computer Science e.V.
2024-07-01
|
| Серии: | Logical Methods in Computer Science |
| Предметы: | |
| Online-ссылка: | https://lmcs.episciences.org/7643/pdf |