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

Logic

Our research group in Logic employs rigorous mathematical methodology to investigate the Metamathematics of Foundational Systems (especially systems related to first and second order arithmetic, as well as Zermelo-Fraenkel set theory and its extensions), Axiomatic Theories of Truth, Logical Constants, and Dependence Logic.

More detailed information about our research group can be found in the list of recent publications of our group, and by visiting the homepages of our researchers, both available below.

News

  • [2018-02-19] A new Master's Programme in Logic starts in September 2018.
  • [2017-10-30] We welcome Mattias Granberg Olsson to our group as doctoral student working with Graham Leigh.

 

Publications

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

People

 

Page Manager: Monica Havström|Last update: 2/19/2018
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?