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 11 - 20 av 47

2013

Dependence and Axiomatazations
Fredrik Engström
Logic seminar, Gothenburg, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

On logicality, invariance, and definability
Fredrik Engström
Intensionality in Mathematics, 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
arXiv, Artikel i övriga tidskrifter 2013
Artikel i övriga tidskrifter

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

2012

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

On Logicality
Fredrik Engström
Gothenburg-Oslo Workshop on Philosophical Logic, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2012
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

What is logic? On logicality, invariance and definability
Fredrik Engström
Logikseminariet i Uppsala, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2012
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

On logicality, invariance and definability
Fredrik Engström
Logikseminariet GU, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2012
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Generalized quantifiers in dependence logic
Fredrik Engström
Logic Colloquium 2012, Manchester, Paper i proceeding 2012
Paper i proceeding

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

Visar 11 - 20 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?