Workshop on Universal Models Amsterdam, 24 February 2011 

Introduction Programme Location Registration Organization Sponsors 
IntroductionThis workshop is an informal gathering of people that study universal models or use them in their research. There will be presentations both on finished studies and on work in progress. Universal models were originated by V. Shethman and V. Rybakov, anticipated by D. de Jongh's dissertation in 1968. In intuitionistic logic the subject reemerged in N. Bezhanishvili's dissertation in 2006. The logics involved today comprise intuitionistic propositional logic and modal logics. In intuitionistic logic one has finite universal models for some fragments missing some of the usual connectives, and the usual complicated infinite ones for the full logic. One of the modal logics that will be presented is GLP, an extension of GödelLöb's logics 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/coalgebraic side as well. Programme
LocationRoom A4.10, Roetersstraat 15, 1018 WB Amsterdam. RegistrationThe workshop has no registration fee but it is appreciated if attendance is confirmed by mail to one of the organizers. OrganizationThe workshop is organized by:
SponsorsThe workshop is sponsored by:
