Monadic monadic second order logic

Bartek Klin (University of Warsaw)

13-May-2020, 13:00-14:00 (4 years ago)

Abstract: Monadic second order logic (MSO) is usually studied over specific kinds of structures, be it finite words, infinite words, finite or infinite trees, total orders of various shapes, etc. A monad is a notion of "a kind of structures" that covers these and many other examples. One can formulate an abstract definition of MSO for a generic monad. I will explain how this is done, and I will describe some conditions that a monad should satisfy to ensure a basic "sanity check": that every definable language is recognized by a finite algebra.

(joint work with Mikołaj Bojańczyk and Julian Salamanca)

logic

Audience: researchers in the topic


Online Worldwide Seminar on Logic and Semantics (OWLS)

Series comments: The Online Worldwide Seminar on Logic and Semantics is a new series of research talks, highlighting the most exciting recent work in the international computer science logic community. The scope of the seminar series is roughly that of the major computer science logic conferences such as LICS, ICALP and FSCD. It takes place on most Wednesdays, with a focus every other week on the work of young researchers.

In this time of restricted international travel, a key aim of this series is to provide a forum for the informal discussion and social interaction that is so important for the progress of science. To facilitate this, the seminar incorporates in virtual form a number of features more normally associated with physical meetings.

For more details, please visit the homepage. There is no need to register for the talks, just show up.

Organizers: Alexandra Silva, Pawel Sobocinski, Jamie Vicary, Nathanaël Fijalkow, Charles Grellois, S. Krishna, Koko Muroya
Curator: Alakh Dhruv Chopra*
*contact for this listing

Export talk to