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.

13 March: — CANCELLED —
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.

8 May: Mattias Granberg Olsson (FLoV)

5 June: Workshop on Proof Theory of Modal Logic

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: 3/23/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?