Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying assumptions behind certain aspects of game-theoretical reasoning. We focus on the insights of a part ...

This short paper begins with a summary of the views of a sympathetic game theorist on the current state of play in what is still called the New Institutional Economics. It continues with a much abbreviated summary of my own attempts to treat justice as a kind of institution in the hope that this will serve as a case study in how game theory can serve as a useful intellectual framework for the s...

human language, over its evolutionary history, has emerged as one of the fundamental defining characteristic of the modern man. however, this milestone evolutionary process through natural selection has not left any ’linguistic fossils’ that may enable us to trace back the actual course of development of language and its establishment in human societies. lacking analytical tools to fathom the cr...

We present a new compositional approach to game theory (CGT) based upon Arrows, concept originally from functional programming, closely related Tambara modules, and operators build Arrows old. model equilibria as bimodule over an Arrow define operator such existing Arrow. also strategies graded which builds by taking the colimit of A final bimodule. use this CGT show how known previously unknow...