The LogiCat says: Logic is super cool
Logic is super cool (credit: Amelie Wehr)

Logic@GU

The Logic Group at the University of Gothenburg

Welcome to the webpage of the Logic group at the University of Gothenburg. Information about our research and activities can be found through the menu at the top. More detailed information about our research and activities can be found on the personal pages of group members and our homepage at the University of Gothenburg.

Announcements

30 Aug 2024 Welcome to our new-look homepage!
26 Jun 2024 The Logic Group is recruiting!
24 Jun 2024 The 2024 Logic Colloquium has begun

Upcoming seminars and events

Nested sequents for Scott-Lemmon path axioms

Paraas Padhiar, University of Birmingham

Previous works by Goré, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination procedure and (ii) alternative modular formulations for these systems. We present our methodology to achieve these two goals on a subclass of path axioms, namely quasi-transitivity axioms.
  J577, Humanisten   ·   Research Seminar   24 HT

Logic Seminar
  J577, Humanisten   ·   Research Seminar   24 HT

Logic Seminar
  J577, Humanisten   ·   Research Seminar   24 HT

Logic Seminar
  J577, Humanisten   ·   Research Seminar   24 HT