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

Fredrik Engström

Researcher

Fredrik Engström
Researcher , Head of Department
Academic degree: Docent
fredrik.engstrom@gu.se
+46 31 786 6335
0730-496178

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.

I did my PhD in Mathematics at the University of Birmingham and Chalmers University of Technology in 2004 with a thesis on mathematical logic and models of Peano arithmetic. After which I worked as an associate professor at the Mid Sweden University in Sundsvall before starting at the University of Gothenburg in 2006.

My research is mainly about models of first order arithmetic, generalized quantifiers, dependence logic and logical constants. Project leader of the project Dependence in formal and natural languages funded by the Swedish research council.

To book a meeting please use: https://fredrikengstrom.youcanbook.me/

Calendar

 

 

Latest publications

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

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

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

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

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

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

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

Showing 1 - 10 of 46

2017

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

2014

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

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

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

2013

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

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

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

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

Showing 1 - 10 of 46

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?