Introduction

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.

Programme

Location

Room A4.10, Roetersstraat 15, 1018 WB Amsterdam.

Registration

The workshop has no registration fee but it is appreciated if attendance is confirmed by mail to one of the organizers.

Organization

The workshop is organized by:

• Dick de Jongh (d.h.j.dejongh [at] uva.nl)
• Joost Joosten (jjoosten [at] ub.edu)
• Peter van Ormondt (P.vanOrmondt [at] uva.nl)

Sponsors

• The Logic and Computation Research Programme of the ILLC