TL;DR
This paper reviews the evolution of mathematical semantics, highlights recent advances like model comparison games encapsulated as comonads, and proposes future research directions in the field.
Contribution
It introduces a novel perspective on encapsulating model comparison games as comonads within finite model theory, suggesting new avenues for semantic research.
Findings
Encapsulation of model comparison games as comonads.
Evolutionary overview of mathematical semantics.
Proposed future research directions.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Game Theory and Applications · Auction Theory and Applications