{"id":3290,"date":"2017-04-24T19:07:32","date_gmt":"2017-04-24T17:07:32","guid":{"rendered":"https:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=3290"},"modified":"2017-06-03T09:45:35","modified_gmt":"2017-06-03T07:45:35","slug":"phd-defense-giovanni-cina-categories-for-the-working-modal-logician","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2017\/04\/phd-defense-giovanni-cina-categories-for-the-working-modal-logician\/","title":{"rendered":"PhD defense: Giovanni Cin\u00e0: Categories for the working modal logician"},"content":{"rendered":"<p><a href=\"https:\/\/sites.google.com\/site\/homepagegcina\/\">Giovanni Cin\u00e0<\/a> will defend his PhD thesis<\/p>\n<p style=\"text-align: center;\"><em>Categories for the working modal logician<\/em><\/p>\n<p>on Friday, <strong>June 16th, 2017<\/strong>. The ceremony will start at <strong>11:00<\/strong> sharp and last till 12:30 in the <a href=\"http:\/\/www.uva.nl\/en\/about-the-uva\/the-uva-in-amsterdam\/locations\/content\/binnenstad\/aula-lutherse-kerk.html\">Aula (<\/a><a href=\"http:\/\/www.uva.nl\/en\/about-the-uva\/the-uva-in-amsterdam\/locations\/content\/binnenstad\/aula-lutherse-kerk.html\">Lutherse Kerk<\/a><a href=\"http:\/\/www.uva.nl\/en\/about-the-uva\/the-uva-in-amsterdam\/locations\/content\/binnenstad\/aula-lutherse-kerk.html\">)<\/a> of the University of Amsterdam, Spui, 1012 RM Amsterdam.<\/p>\n<p>On the same day there will be a workshop associated to the defense: <em><a href=\"https:\/\/www.illc.uva.nl\/lgc\/seminar\/2017\/06\/workshop-interweaving-modal-logic-and-category-theory\/\">Interweaving Modal Logic and Category Theory<\/a>.<\/em><\/p>\n<p>For more information, see <a href=\"https:\/\/interweavingblog.wordpress.com\">interweavingblog.wordpress.com<\/a>.<\/p>\n<p><strong>Thesis abstract<br \/>\n<\/strong>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.<br \/>\nThe 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.<br \/>\nA 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Giovanni Cin\u00e0 will defend his PhD thesis<br \/>\nCategories for the working modal logician<br \/>\non 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.<br \/>\nOn the same day there will be a workshop associated to the defense: Interweaving Modal [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,16],"tags":[],"class_list":["post-3290","post","type-post","status-publish","format-standard","hentry","category-events","category-phd-defense"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3290","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3290"}],"version-history":[{"count":9,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3290\/revisions"}],"predecessor-version":[{"id":3316,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3290\/revisions\/3316"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3290"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3290"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3290"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}