Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

24 February 2011, Workshop on Universal Models

Speaker: Dick de Jongh, Gerard Renardel de Lavalette, Sam van Gool, Joost J. Joosten, David Fernandez Duque, Mai Gehrke
Date: 24 February 2011
Location: Room A410, Roetersstraat 15, Amsterdam

This 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ödel-Lö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/co-algebraic side as well.

For more information, see http://www.illc.uva.nl/UniversalModels/.

Please note that this newsitem has been archived, and may contain outdated information or links.