BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2011/newsitem/3806/24- February-2011-Workshop-on-Universal-Models DTSTAMP:20110220T000000 SUMMARY:Workshop on Universal Models ATTENDEE;ROLE=Speaker:Dick de Jongh, Gerard Renard el de Lavalette, Sam van Gool, Joost J. Joosten, D avid Fernandez Duque, Mai Gehrke DTSTART;VALUE=DATE:20110224 DTEND;VALUE=DATE:20110224 LOCATION:Room A410, Roetersstraat 15, Amsterdam DESCRIPTION:This workshop is an informal gathering of people that study universal models or use them in their research. There will be presentations bo th on finished studies and on work in progress. Un iversal models were originated by V. Shethman and V. Rybakov, anticipated by D. de Jongh's dissertat ion in 1968. In intuitionistic logic the subject r eemerged in N. Bezhanishvili's dissertation in 200 6. The logics involved today comprise intuitionist ic propositional logic and modal logics. In intuit ionistic logic one has finite universal models for some fragments missing some of the usual connecti ves, and the usual complicated infinite ones for t he full logic. One of the modal logics that will b e presented is GLP, an extension of Gödel-Löb's lo gics GL that has a different provability modality for each ordinal. Another modal logic that will be discussed is S4. At the workshop the subject will be approached from the algebraic/co-algebraic sid e as well. For more information, see http://www.i llc.uva.nl/UniversalModels/. X-ALT-DESC;FMTTYPE=text/html:\n
This works hop is an informal gathering of people that study\ n universal models or use them in their resea rch. There will be\n presentations both on fi nished studies and on work in\n progress. Uni versal models were originated by V. Shethman and\n V. Rybakov, anticipated by D. de Jongh's dis sertation in\n 1968. In intuitionistic logic the subject reemerged in\n N. Bezhanishvili's dissertation in 2006. The logics involved\n today comprise intuitionistic propositional logic and modal\n logics. In intuitionistic logic o ne has finite universal models\n for some fra gments missing some of the usual connectives, and\ n the usual complicated infinite ones for the full logic. One of\n the modal logics that w ill be presented is GLP, an extension of\n G& ouml;del-Löb's logics GL that has a different provability\n modality for each ordinal. Ano ther modal logic that will be\n discussed is S4. At the workshop the subject will be approache d\n from the algebraic/co-algebraic side as w ell.
\n \nFor more information, s ee\n http://www.illc.uva.nl /UniversalModels/.\n
URL:/NewsandEvents/Archives/2011/newsitem/3806/24- February-2011-Workshop-on-Universal-Models END:VEVENT END:VCALENDAR