Connections of coalgebra and semantic modeling

Lawrence S. Moss
2011 Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII  
The aim of this tutorial is to present the area of coalgebra to people interested in the kinds of semantic modeling that is prominent at TARK. Coalgebra is a general study of a great many kinds of models, and these include type spaces and Kripke models, and many others. But the theory is not overly general, it is not a theory of absolutely everything. The tutorial is designed to be a short introduction to a substantial technical field, bearing in mind that this is nearly impossible. It is also
more » ... ntended to bring together literatures from theoretical computer science and game theory.
doi:10.1145/2000378.2000382 dblp:conf/tark/Moss11 fatcat:2a2b5nwcmneyxewpp6giulygsi