- Hem
- Om universitetet
- Hitta person
- Fredrik Engström
Fredrik Engström
Universitetslektor
Avdelningen för filosofi ochProdekan
HumanistiskaOm Fredrik Engström
Universitetslektor och docent i logik. Prodekan vid Humanistiska fakulteten.
Disputerade i matematik 2004 vid Chalmers på en avhandling i matematisk logik. Delar av forskarstudierna gjordes vid University of Birmingham.
Arbetade efter disputationen som universitetslektor i matematik vid Mittuniversitetet i Sundsvall. Sedan 2006 anställd vid Göteborgs universitet, först som forskarassistent, sedan forskare och sedan 2018 som universitetslektor i logik. Prefekt vid institutionen för filosofi, lingvistik och vetenskapsteori 2016 till 2021.
Min forskning handlar framförallt om modeller till första ordningens aritmetik, generaliserade kvantifikatorer, dependence logic och logiska konstanter.
-
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