arXiv
Open Access
2022
The power of clockings
Antti Kuusisto
Abstrak
We investigate the expressive power of a Turing-complete logic based on game-theoretic semantics. By defining suitable fragments and variants of the logic, we obtain a range of natural characterizations for some fundamental families of model classes.
Topik & Kata Kunci
Penulis (1)
A
Antti Kuusisto
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2022
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓