Whither semantics?
Copyright policy )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.
Appeared in special issue of TCS in honour of Maurice Nivat. arXiv admin note: text overlap with arXiv:1806.09031, arXiv:2010.06496
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, mathematical semantics, Model theory of finite structures, Logic in Computer Science (cs.LO), comonads, Categorical semantics of formal languages, category theory, finite model theory, model-theoretic games
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, mathematical semantics, Model theory of finite structures, Logic in Computer Science (cs.LO), comonads, Categorical semantics of formal languages, category theory, finite model theory, model-theoretic games
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).5 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!