BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Bartek Klin (University of Warsaw)
DTSTART:20200513T130000Z
DTEND:20200513T140000Z
DTSTAMP:20260423T021140Z
UID:OWLS/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/3/">Mon
 adic monadic second order logic</a>\nby Bartek Klin (University of Warsaw)
  as part of Online Worldwide Seminar on Logic and Semantics (OWLS)\n\n\nAb
 stract\nMonadic second order logic (MSO) is usually studied over specific 
 kinds of structures\, be it finite words\, infinite words\, finite or infi
 nite 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 explai
 n how this is done\, and I will describe some conditions that a monad shou
 ld satisfy to ensure a basic "sanity check": that every definable language
  is recognized by a finite algebra.\n\n(joint work with Mikołaj Bojańczy
 k and Julian Salamanca)\n
LOCATION:https://researchseminars.org/talk/OWLS/3/
END:VEVENT
END:VCALENDAR