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: T205
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
40530 Göteborg
www.flov.gu.se
flov@flov.gu.se

Besöksadress: Olof wijksgatan 6 , 41255 Göteborg

Om Fredrik Engström

Prefekt och docent i Logik.

Allmänt

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.

Pågående forskning

Leder projektet Beroenden i formella och naturliga språk som finansieras av vetenskapsrådet.

Äldre forskning

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

Postdoc i projektet Logic for INTeraction, finansierad av vetenskapsrådet och European Science Foundation.

Medlem av projektetet Logisk slutledning med begränsade kognitiva resurser finansierat av institutionen samt vetenskapsrådet.

Undervisning

Handledning och undervisning i logik.

Kalender

 

Senaste publikationer

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)

On logicality, invariance, and definability
Fredrik Engström
Intensionality in Mathematics, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 10 av 45

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)

On logicality, invariance, and definability
Fredrik Engström
Intensionality in Mathematics, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2013
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 10 av 45

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?