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 11 - 20 of 47

2013

Dependence and Axiomatazations
Fredrik Engström
Logic seminar, Gothenburg, Conference contribution 2013
Conference contribution

On logicality, invariance, and definability
Fredrik Engström
Intensionality in Mathematics, Conference contribution 2013
Conference contribution

Dependence logic with Generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
arXiv, Magazine article 2013
Magazine article

Characterizing quantifier extensions of dependence logic
Fredrik Engström, Juha Kontinen
Journal of Symbolic Logic, Journal article 2013
Journal article

2012

Transplendent models : Expansions omitting a type
Fredrik Engström, Richard W. Kaye
Notre Dame Journal of Formal Logic, Journal article 2012
Journal article

On Logicality
Fredrik Engström
Gothenburg-Oslo Workshop on Philosophical Logic, Conference contribution 2012
Conference contribution

What is logic? On logicality, invariance and definability
Fredrik Engström
Logikseminariet i Uppsala, Conference contribution 2012
Conference contribution

On logicality, invariance and definability
Fredrik Engström
Logikseminariet GU, Conference contribution 2012
Conference contribution

Generalized quantifiers in dependence logic
Fredrik Engström
Logic Colloquium 2012, Manchester, Conference paper 2012
Conference paper

Generalized quantifiers in dependence logic
Fredrik Engström
Journal of Logic, Language and Information , Journal article 2012
Journal article

Showing 11 - 20 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?