Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 November 2015, Algebra|Coalgebra Seminar, Sebastian Enqvist

Speaker: Sebastian Enqvist
Title: Some open problems concerning MSO for coalgebras
Date: Wednesday 18 November 2015
Time: 16:00-17:00
Location: Room F3.20, Science Park 107, Amsterdam

Enqvist: I present some recent joint work with Fatemeh Seifan and Yde Venema, in which we introduced monadic second-order logic interpreted on coalgebras. Our main results provided conditions under which the coalgebraic modal mu-calculus for a given functor is the bisimulation invariant fragment of the corresponding MSO language. The focus of the talk will be on some open problems related to this topic.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen () or Julia Ilin ().

Please note that this newsitem has been archived, and may contain outdated information or links.