Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

The Logic Seminar 2020

The logic seminar takes place on alternate Fridays between 10:15 and 12:00 at Humanisten, Renströmsgatan 6 in room J577 (unless otherwise stated).

The archive of older seminars (starting 2005) is divided into two web pages: 2005–2013 Logic Seminars and 2014–2019

Spring 2020 Logic Seminar Schedule

17 January: Colloquium in Logic

14 and 28 Febrary: Project applications

Due to the current health situation, the seminars below are either cancelled or moved to an online forum. Please check this page for updates.

The following seminars will be held on-line through the Zoom platform. Information on how to attend will be circulated through the GU Logic Mailing List. If you are not subscribed to the mailing list and would like to attend please contact Graham Leigh <graham.leigh@gu.se> for seminar details.

8 May: Fredrik Engström (FLoV)
Dependence logic and generalized quantifiers
Abstract: Dependence logic, proposed by Väänänen, is an elegant way of introducing dependencies between variables into the object language. The framework of Dependence logic, so-called team semantics, has turned out to be very flexible and allows for interesting generalizations. Instead of considering satisfaction with respect to a single assignment s, team semantics considers sets of assignments X, called teams. While the semantics of Dependence logic is based on the principle that a formula φ is satisfied by a team X if every assignment s ∈ X satisfies φ, we will replace this principle by the following: a formula φ is satisfied by a team X if for every assignment s: s ∈ X iff s satisfies φ, replacing an implication by an equivalence. When only first-order logic is considered nothing exciting happens, it is only when we introduce new logical operations that things start to get more exciting.

5 June: Jean-Philippe Bernardy (FLoV)
A Unified View of Modalities in Type Systems
Abstract: We propose to unify the treatment of a broad range of modalities in typed lambda calculi. We do so by defining a generic structure of modalities, and show that this structure arises naturally from the structure of intuitionistic logic, and as such finds instances in a wide range of type systems previously described in literature. Despite this generality, this structure has a rich metatheory, which we expose.

Joint work with Andreas Abel.

Mailing list

There is a mailing list used for spreading information about the logic seminar. Please use the above link to subscribe to it.

 

Page Manager: Monica Havström|Last update: 5/1/2020
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?