ILLC-LIRa June 2017

illc-lira@list.uva.nl

1 participants
3 discussions

Tomorrow: PhD defense Giovanni Cinà: Categories for the working modal logician + Workshop: Interweaving Modal Logic and Category Theory
by LIRa Seminar 15 Jun '17

15 Jun '17

Dear all, tomorrow Giovanni Cinà will defend his PhD thesis *Categories for the working modal logician* The ceremony will start at 11:00 sharp and last till 12:30 in the Aula (Lutherse Kerk) of the University of Amsterdam, Spui, 1012 RM Amsterdam. Also tomorrow there will be a workshop associated to the defense *Interweaving Modal Logic and Category Theory* For more information, see https://interweavingblog.wordpress.com Thesis abstract We attempt to build a ladder connecting the heavens of Category Theory to the interests of modal logicians, in particular those concerned with modelling tasks and therefore involved with specific models and languages. The body of work presented in this theses witnesses two possible modes of interaction. The first is the study of hybrid models, namely structures that are on one hand significant from a category-theoretic perspective and on the other hand lend themselves to a treatment with modal languages. We show how presheaf models can be seen as particular relational structures and develop a hierarchy of modal languages to express their properties. To argue in favor of the flexibility of this framework we review several applications; we especially dive into the details of a modal logic for social choice functions. Furthermore, we highlight how in this setting some of the traditional issues of Modal Logic, e.g. completeness, expressivity and decidability, receive an original twist and can be resolved with alternative solutions. A second mode, more heuristic in nature, consists of regarding a given class of models as a category. The benefit of this stance is the baggage of questions that come with it. The right notion of morphism for these models, its closure under composition, the functoriality of some uniform constructions, these are some of the basic issues that get raised in this context. In the second half of the thesis we explicate how they can shape research in Modal Logic and how they are intertwined with existing problems. Hope to see you there! The LIRa team

1 0

This Friday: PhD defense Giovanni Cinà: Categories for the working modal logician and Workshop: Interweaving Modal Logic and Category Theory
by LIRa Seminar 12 Jun '17

12 Jun '17

Dear all, Giovanni Cinà will defend his PhD thesis *Categories for the working modal logician* this Friday, June 16th, 2017. The ceremony will start at 11:00 sharp and last till 12:30 in the Aula (Lutherse Kerk) of the University of Amsterdam, Spui, 1012 RM Amsterdam. On the same day there will be a workshop associated to the defense: Interweaving Modal Logic and Category Theory. For more information, see https://interweavingblog.wordpress.com Thesis abstract We attempt to build a ladder connecting the heavens of Category Theory to the interests of modal logicians, in particular those concerned with modelling tasks and therefore involved with specific models and languages. The body of work presented in this theses witnesses two possible modes of interaction. The first is the study of hybrid models, namely structures that are on one hand significant from a category-theoretic perspective and on the other hand lend themselves to a treatment with modal languages. We show how presheaf models can be seen as particular relational structures and develop a hierarchy of modal languages to express their properties. To argue in favor of the flexibility of this framework we review several applications; we especially dive into the details of a modal logic for social choice functions. Furthermore, we highlight how in this setting some of the traditional issues of Modal Logic, e.g. completeness, expressivity and decidability, receive an original twist and can be resolved with alternative solutions. A second mode, more heuristic in nature, consists of regarding a given class of models as a category. The benefit of this stance is the baggage of questions that come with it. The right notion of morphism for these models, its closure under composition, the functoriality of some uniform constructions, these are some of the basic issues that get raised in this context. In the second half of the thesis we explicate how they can shape research in Modal Logic and how they are intertwined with existing problems. Hope to see you there! The LIRa team

1 0

Tomorrow: Workshop on Logic, Rationality and Common Sense, on the occasion of Jan van Eijck\'s retirement
by LIRa Seminar 01 Jun '17

01 Jun '17

Dear all, tomorrow there will be a workshop on the occasion of Jan van Eijck\'s retirement as researcher at CWI and as professor at ILLC. Date & Time: Friday, June 2nd 2017, 13:00-18:00 Location: Turing Room, Amsterdam Science Park Congress Centre, Science Park 105 (nextdoor to CWI), Amsterdam Reflections on the possibilities and the limitations of applications of logic to the analysis of human behaviour. The workshop is intended to create a space to talk about issues that are not often addressed in public in scientific circles. People who wish to attend the workshop are requested to fill out the following RSVP form: https://goo.gl/forms/s2KZryvHXSr5Bzw32. For more information, see http://homepages.cwi.nl/~jve/workshop Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa June 2017