Whither semantics?

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.

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2020-02, Vol.807, p.3-14
Main Author: Abramsky, Samson
Format: Article
Language:English
Subjects:
Category theory
Comonads
Finite model theory
Mathematical semantics
Model-theoretic games
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2019.06.029