Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Fredrik Engström

Universitetslektor

Fredrik Engström
Universitetslektor , Prefekt
Logik
Akademisk grad: Docent,
fredrik.engstrom@gu.se
031-786 6335
0766-186335

Rumsnummer: C508
Postadress: Box 200, 40530 Göteborg
Besöksadress: Renströmsgatan 6 , 41255 Göteborg


Institutionen för filosofi, lingvistik och vetenskapsteori (Mer information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se
Besöksadress: Olof Wijksgatan 6 , 412 55 Göteborg

Om Fredrik Engström

Prefekt och docent i Logik.

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.

Min forskning handlar framförallt om modeller till första ordningens aritmetik, generaliserade kvantifikatorer, dependence logic and logiska konstanter.

För att boka ett möte använd: 

https://fredrikengstrom.youcanbook.me/

 

Kalender

 

 

Senaste publikationer

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

Dependence logic with generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2014
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Paper i proceeding 2014
Paper i proceeding

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, Kapitel i bok 2014
Kapitel i bok

Reasoning about truth in first-order logic
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance Rips
Journal of Logic, Language and Information, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

On logic and dependence
Fredrik Engström
Swedish Congress of Philosophy, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Models of arithmetic, standardness and expansions
Fredrik Engström, Richard W. Kaye
Helsinki logic seminar, Helsinki 3 mars 2013, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Logic, Language, Information, and Computation, Paper i proceeding 2013
Paper i proceeding

Visar 31 - 40 av 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, Paper i proceeding 2010
Paper i proceeding

Non-permutation invariant Borel quantifiers
Fredrik Engström, Philipp Schlicht
Insitut Mittag-Leffler preprint serie, Artikel i övriga tidskrifter 2010
Artikel i övriga tidskrifter

2009

Logical constants and invariance
Fredrik Engström
INSTITUT MITTAG-LEFFLER SEMINAR, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2009
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2008

Is dependence logical?
Fredrik Engström
LINT Workshop, Amsterdam, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2008
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

A note on standard systems and ultrafilters
Fredrik Engström
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2008
Artikel i vetenskaplig tidskrift

2007

Transplendent models: Omitting types in expansions
Fredrik Engström
Models and interpretations, Utrecht, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Spel och tal
Fredrik Engström
Mittuniversitetet, Sundsvall, 2007-11-01, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Transplendent models: Omitting types in expansions
Fredrik Engström
Models and interpretations, Utrecht, 2007-04-04, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2007
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2006

Ickestandardanalys - ett didaktiskt knep?
Fredrik Engström
Matematikbiennalen 2006, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2006
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2005

Expansions omitting a type
Fredrik Engström
New York City Logic Conference, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2005
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 31 - 40 av 47

Sidansvarig: Monica Havström|Sidan uppdaterades: 2016-01-21
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?