Till startsida
Department of Philosophy, Linguistics and Theory of Science
Sitemap
To content Read more about how we use cookies on gu.se

Contact form




 


Note! If you want an answer on a question you must specify your email address


Fredrik Engström

Senior lecturer

OverviewPublicationsUNDEFINEDUNDEFINEDUNDEFINED

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

Room number: C508
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Renströmsgatan 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: Renströmsgatan 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

 

 

Research areas

Major publications

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
PDF

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

Read the full text
on a web page

Major publications

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
on a web page

Showing 31 - 40 of 47

2010

Non-Permutation Invariant Borel Quantifiers
Fredrik Engström, Philipp Schlicht
Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition, Conference paper 2010
Conference paper

Read the full text
on a web page

Non-permutation invariant Borel quantifiers
Fredrik Engström, Philipp Schlicht
Insitut Mittag-Leffler preprint serie, Magazine article 2010
Magazine article

Read the full text
PDF

2009

Logical constants and invariance
Fredrik Engström
INSTITUT MITTAG-LEFFLER SEMINAR, Conference contribution 2009
Conference contribution

2008

Is dependence logical?
Fredrik Engström
LINT Workshop, Amsterdam, Conference contribution 2008
Conference contribution

A note on standard systems and ultrafilters
Fredrik Engström
Journal of Symbolic Logic, Journal article 2008
Journal article

Read the full text
PDF

2007

Transplendent models: Omitting types in expansions
Fredrik Engström
Models and interpretations, Utrecht, Conference contribution 2007
Conference contribution

Spel och tal
Fredrik Engström
Mittuniversitetet, Sundsvall, 2007-11-01, Conference contribution 2007
Conference contribution

Read the full text
PDF

Transplendent models: Omitting types in expansions
Fredrik Engström
Models and interpretations, Utrecht, 2007-04-04, Conference contribution 2007
Conference contribution

Read the full text
PDF

2006

Ickestandardanalys - ett didaktiskt knep?
Fredrik Engström
Matematikbiennalen 2006, Conference contribution 2006
Conference contribution

2005

Expansions omitting a type
Fredrik Engström
New York City Logic Conference, Conference contribution 2005
Conference contribution

Showing 31 - 40 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?

Denna text är utskriven från följande webbsida:
http://flov.gu.se/english/about/staff/?tipFriend=true&tipUrl=http%3A%2F%2Fflov.gu.se%2Fenglish%2Fabout%2Fstaff%2F%3FpublicationPageNumber%3D4%26selectedTab%3D2%26print%3Dtrue%26feedbackForm%3Dtrue%26returnAddress%3Dhttp%253A%252F%252Fflov.gu.se%252Fenglish%252Fabout%252Fstaff%252F%253FlanguageId%253D100001%2526userId%253Dxengfr%2526userName%253DFredrik%252520Engstr%2525C3%2525B6m%26recipientName%3DMonica%2BHavstr%25F6m%26encodedEmail%3DbW9uaWNhLmhhdnN0cm9tQGd1LnNl%26languageId%3D100001%26userId%3Dxengfr%26userName%3DFredrik%2520Engstr%25C3%25B6m&publicationPageNumber=4&selectedTab=2&feedbackForm=true&encodedEmail=bW9uaWNhLmhhdnN0cm9tQGd1LnNl&languageId=100001&userId=xengfr&userName=Fredrik%20Engstr%C3%B6m
Utskriftsdatum: 2020-07-11