BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/3806/24-February-2011-Workshop-on-Universal-Model
s
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 \n For more information, s
ee\n http://www.illc.uva.nl
/UniversalModels/.\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/3806/24-February-2011-Workshop-on-Universal-Model
s
END:VEVENT
END:VCALENDAR