arXiv Open Access 2022

The power of clockings

Antti Kuusisto

Lihat Sumber

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

math.LO

Penulis (1)

Antti Kuusisto

Format Sitasi

APA MLA BibTeX

Kuusisto, A. (2022). The power of clockings. https://arxiv.org/abs/2201.08353

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓