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

Fredrik Engström

Forskare

Fredrik Engström
Forskare , Prefekt
Logic
Akademisk grad: Docent,
fredrik.engstrom@gu.se
031-786 6335
0730-496178

Rumsnummer: T202
Postadress: Box 200, 40530 Göteborg
Besöksadress: Olof Wijksgatan 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.

Forskare i logik vid Göteborgs universitet sedan 2006. Disputerade i matematik 2004 på en avhandling i matematisk logik. Jobbade efter disputationen som universitetslektor i matematik på Mittuniversitetet i Sundsvall. Leder projektet Beroenden i formella och naturliga språk som finansieras av vetenskapsrådet.

Min avhandling studerade modeller av första ordningens aritmetik (Peanos aritmetik) och olika försök att karakterisera dessa. 

För att boka ett möte använd: https://fredrikengstrom.youcanbook.me/

 

Kalender

 

 

Senaste publikationer

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)

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

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

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

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

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

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

Visar 1 - 10 av 46

2017

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

2014

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)

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

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

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

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

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

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

Visar 1 - 10 av 46

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?