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.

Logic, Reasoning, and Knowledge Game Theory and Applications Auction Theory and Applications

View graph Source

Paper

Similar papers

Categorical Semantics for Model Comparison Games for Description LogicsMateusz Urbańczyk2022 · arXiv (Cornell University) · 0 citations In Library

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theoremsTomáš Jakl, Dan Marsden, Nihil Shah2022 · arXiv (Cornell University) In Library

Game Semantics: Easy as PiN. Yoshida, Simon Castellan, Léo Stefanesco2020 · arXiv.org · 5 citations In Library

A Unified Framework for Initial SemanticsThomas Lamiaux, Benedikt Ahrens2025 · arXiv (Cornell University) In Library

The Science of SemanticsRyan M. Nefdt2024 · Cambridge University Press eBooks In Library

Syntax-semantics interface: an algebraic modelMatilde Marcolli, Robert C. Berwick, Noam Chomsky2023 · arXiv (Cornell University) In Library

Semantics of ConjecturesAlessio Rolfini2021 · arXiv (Cornell University) In Library

Perspectives of semantic modeling in categoriesWilliam Steingartner2025 · Journal of King Saud University - Computer and Information Sciences In Library

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)Pierre Clairambault, Federico Olimpieri, Hugo Paquet2023 · arXiv (Cornell University) In Library

A comparison of big-step semantics definition stylesPéter Bereczky, Dániel Horpácsi, Simon Thompson2024 · Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio computatorica In Library

Patents near this paper

USAGE SEMANTICSUS 6,839,062 · MICROSOFT CORPORATION · 2005 METHODS AND SYSTEMS FOR MANAGING ENTITIES IN A COMPUTING DEVICE USING SEMANTIC OBJECTSUS 7,640,267 · RADAR NETWORKS · 2009 Computing Program Equivalence Based on a Hierarchy of Program Semantics and Related Canonical RepresentationsUS 9,703,547 · INTERNATIONAL BUSINESS MACHINES CORPORATION · 2017 SYMBOLIC PROGRAM MODEL COMPOSITIONSUS 7,926,025 · MICROSOFT CORPORATION · 2011 SYSTEMS AND METHODS FOR ENRICHING MODELING TOOLS AND INFRASTRUCTURE WITH SEMANTICSUS 11,847,574 · ZESTFINANCE, INC. · 2023

Source of record

OpenAlex