- Home
- About
- Find staff
- Fredrik Engström
Fredrik Engström
Senior Lecturer
Philosophy and Logic unitPro-Dean
Faculty of HumanitiesAbout Fredrik Engström
Associate Professor of Logic (Universitetslektor and Docent). Deputy Dean (Prodekan) at the Faculty of Humantites.
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. Served as Head of the Department of Philosophy, Linguistics and Theory of Science from 2016 to 2021.
My research is focused around models of first-order arithmetic, generalized quantifiers, dependence logic and logical constants.
-
Cognitively adequate complexity of reasoning in a description
logic
Jelle Tjeerd Fokkens, Fredrik Engström
CEUR Workshop Proceedings. Joint of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation, KoDis + CAKR 2023, Rhodes, Greece, September 3-4, 2023 / Baker C., Alvarez L.G., Heyninck J., Heyninck J., Meyer T., Penaloza R., Vesic S. (eds.) - 2023 -
Invariance and Definability, with and without
Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic - 2018 -
Dependence logic with generalized quantifiers:
Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences - 2017 -
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 - 2014 -
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 - 2014 -
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.) - 2014 -
Reasoning about truth in first-order
logic
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance Rips
Journal of Logic, Language and Information - 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 - 2013 -
On logic and
dependence
Fredrik Engström
Swedish Congress of Philosophy - 2013 -
Models of arithmetic, standardness and
expansions
Fredrik Engström, Richard W. Kaye
Helsinki logic seminar, Helsinki 3 mars 2013 - 2013 -
Dependence Logic with Generalized Quantifiers:
Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Logic, Language, Information, and Computation - 2013 -
Dependence and
Axiomatazations
Fredrik Engström
Logic seminar, Gothenburg - 2013 -
On logicality, invariance, and
definability
Fredrik Engström
Intensionality in Mathematics - 2013 -
Dependence logic with Generalized quantifiers:
Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
arXiv - 2013 -
Characterizing quantifier extensions of dependence
logic
Fredrik Engström, Juha Kontinen
Journal of Symbolic Logic - 2013 -
Transplendent models : Expansions omitting a
type
Fredrik Engström, Richard W. Kaye
Notre Dame Journal of Formal Logic - 2012 -
On
Logicality
Fredrik Engström
Gothenburg-Oslo Workshop on Philosophical Logic - 2012 -
What is logic? On logicality, invariance and
definability
Fredrik Engström
Logikseminariet i Uppsala - 2012 -
On logicality, invariance and
definability
Fredrik Engström
Logikseminariet GU - 2012 -
Generalized quantifiers in dependence
logic
Fredrik Engström
Logic Colloquium 2012, Manchester - 2012 -
Generalized quantifiers in dependence
logic
Fredrik Engström
Journal of Logic, Language and Information - 2012 -
Invariance and definability, with or without
equality
Fredrik Engström
Scandinavian Logic Symposium, Roskilde - 2012 -
Dependence logic with generalized
quantifiers
Fredrik Engström
Logikseminariet på GU - 2012 -
Characterizing quantifier extensions of Dependence
logic
Fredrik Engström, Juha Kontinen
arXiv - 2012 -
Branching quantifiers,
compositionally
Fredrik Engström
Logic seminar, Helsinki - 2012 -
Non-isomorphism invariant Borel
quantifiers
Fredrik Engström, Philipp Schlicht
Proceedings of the American Mathematical Society - 2011 -
Dependence in
Logic
Fredrik Engström
Logical constants workshop, ESSLLI 2011, Ljubljana - 2011 -
Dependence in
Logic
Fredrik Engström
Filosofidagarna 2011, Göteborg - 2011 -
Multivalued dependencies and generalized
quantifiers
Fredrik Engström
LINT Workshop, Oxford - 2011 -
Borel
Quantifiers
Fredrik Engström
Logikseminariet på GU - 2010 -
Classification problems and models of
arithmetic
Fredrik Engström
Logikseminariet på GU - 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 - 2010 -
Non-permutation invariant Borel
quantifiers
Fredrik Engström, Philipp Schlicht
Insitut Mittag-Leffler preprint serie - 2010 -
Logical constants and
invariance
Fredrik Engström
INSTITUT MITTAG-LEFFLER SEMINAR - 2009 -
Is dependence
logical?
Fredrik Engström
LINT Workshop, Amsterdam - 2008 -
A note on standard systems and
ultrafilters
Fredrik Engström
Journal of Symbolic Logic - 2008 -
Transplendent models: Omitting types in
expansions
Fredrik Engström
Models and interpretations, Utrecht - 2007 -
Spel och
tal
Fredrik Engström
Mittuniversitetet, Sundsvall, 2007-11-01 - 2007 -
Transplendent models: Omitting types in
expansions
Fredrik Engström
Models and interpretations, Utrecht, 2007-04-04 - 2007 -
Ickestandardanalys - ett didaktiskt
knep?
Fredrik Engström
Matematikbiennalen 2006 - 2006 -
Expansions omitting a
type
Fredrik Engström
New York City Logic Conference - 2005 -
Expansions, omitting types, and standard
systems
Fredrik Engström
2004 -
A notion of recursive saturation for models of arithmetic with the standard
predicate
Fredrik Engström
Nonstandard Models of Arithmetic and Analysis - 2004 -
Variations on replendency and recursive
saturation
Fredrik Engström
New York Graduate Student Logic Conference - 2004 -
Notions of resplendency for logics stronger than first-order
logic
Fredrik Engström
The Bulletin of Symbolic Logic - 2004 -
Omitting types in expansions and related strong saturation
properties
Fredrik Engström
The Bulletin of Symbolic Logic - 2003 -
Satisfaction classes in nonstandard models of first-order
arithmetic
Fredrik Engström
2002 -
Resplendency and omitting
types
Fredrik Engström
British Logic Colloquium 2002 - 2002