Game-theoretic semantics and partial specifications
Logic
2023-07-28 v3
Abstract
We discuss partial specifications in first-order logic FO and also in a Turing-complete extension of FO. We compare the compositional and game-theoretic approaches to the systems.
Cite
@article{arxiv.2010.05456,
title = {Game-theoretic semantics and partial specifications},
author = {Antti Kuusisto},
journal= {arXiv preprint arXiv:2010.05456},
year = {2023}
}
Comments
arXiv admin note: text overlap with arXiv:1910.14603