Whither Semantics?
Logic in Computer Science
2020-10-27 v1
Abstract
We discuss how mathematical semantics has evolved, and suggest some new directions for future work. As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.
Cite
@article{arxiv.2010.13328,
title = {Whither Semantics?},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:2010.13328},
year = {2020}
}
Comments
Appeared in special issue of TCS in honour of Maurice Nivat. arXiv admin note: text overlap with arXiv:1806.09031, arXiv:2010.06496