The power of clockings
Logic
2023-04-14 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2201.08353,
title = {The power of clockings},
author = {Antti Kuusisto},
journal= {arXiv preprint arXiv:2201.08353},
year = {2023}
}