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

Fredrik Engström

Senior lecturer

Fredrik Engström
Senior lecturer , Head of Department
Logic
fredrik.engstrom@gu.se
+46 31 786 6335
0766-186335

Room number: T202
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Olof Wijksgatan 6 , 41255 Göteborg


Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se
Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

About Fredrik Engström

Head of Department and Associate Professor of Logic. 

I did my PhD in Mathematics at Chalmers University of Technology in 2004 with a thesis on mathematical logic. Part of the work was done at the University of Birmingham.

Worked as Senior Lecturer in Mathematics at the Mid Sweden University in Sundsvall before moving to the University of Gothenburg in 2006. In Gothenburg, I was first hired as Postdoctoral Reseach Fellow, then as Researcher and since 2018 as Senior Lecturer in Logic.

My research is focused around models of first-order arithmetic, generalized quantifiers, dependence logic and logical constants. 

To book a meeting please use: 

https://fredrikengstrom.youcanbook.me/

Calendar

 

 

Latest publications

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Journal article 2018
Journal article

Dependence logic with generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences, Journal article 2017
Journal article

Symbolic Reasoning with Bounded Cognitive Resources
Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström, Olle Häggström
36th Annual Conference of the Cognitive Science Society, Conference contribution 2014
Conference contribution

Generating Comprehensible Explanations in Description Logic
Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014, Conference paper 2014
Conference paper

Implicitly definable generalized quantifiers
Fredrik Engström
Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birthday. Martin Kaså (ed.), Göteborg, University of Gothenburg, Chapter in book 2014
Chapter in book

Reasoning about truth in first-order logic
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance Rips
Journal of Logic, Language and Information, Journal article 2013
Journal article

Bounded Kolmogorov Complexity Based on Cognitive Models
Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders, Fredrik Engström
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Journal article 2013
Journal article

On logic and dependence
Fredrik Engström
Swedish Congress of Philosophy, Conference contribution 2013
Conference contribution

Models of arithmetic, standardness and expansions
Fredrik Engström, Richard W. Kaye
Helsinki logic seminar, Helsinki 3 mars 2013, Conference contribution 2013
Conference contribution

Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Logic, Language, Information, and Computation, Conference paper 2013
Conference paper

Showing 21 - 30 of 47

2012

Invariance and definability, with or without equality
Fredrik Engström
Scandinavian Logic Symposium, Roskilde, Conference paper 2012
Conference paper

Branching quantifiers, compositionally
Fredrik Engström
Logic seminar, Helsinki, Conference contribution 2012
Conference contribution

2011

Non-isomorphism invariant Borel quantifiers
Fredrik Engström, Philipp Schlicht
Proceedings of the American Mathematical Society, Journal article 2011
Journal article

Dependence in Logic
Fredrik Engström
Logical constants workshop, ESSLLI 2011, Ljubljana, Conference paper 2011
Conference paper

Dependence in Logic
Fredrik Engström
Filosofidagarna 2011, Göteborg, Conference contribution 2011
Conference contribution

Multivalued dependencies and generalized quantifiers
Fredrik Engström
LINT Workshop, Oxford, Conference contribution 2011
Conference contribution

2010

Borel Quantifiers
Fredrik Engström
Logikseminariet på GU, Conference contribution 2010
Conference contribution

Classification problems and models of arithmetic
Fredrik Engström
Logikseminariet på GU, Conference contribution 2010
Conference contribution

Showing 21 - 30 of 47

Page Manager: Monica Havström|Last update: 8/22/2016
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?