Fredrik Engström

Showing 11 publications

2014

Symbolic Reasoning with Bounded Cognitive Resources

Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström et al
36th Annual Conference of the Cognitive Science Society
Conference contribution
2014

Generating Comprehensible Explanations in Description Logic

Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
CEUR Workshop Proceedings. Vol. 1193, p. 530-542
Paper in proceedings
2013

Bounded Kolmogorov Complexity Based on Cognitive Models

Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders et al
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Vol. 7999, p. 130-139
Journal article
2013

Reasoning about truth in first-order logic

Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani et al
Journal of Logic, Language and Information. Vol. 22 (1), p. 115-137
Journal article
2004

Notions of resplendency for logics stronger than first-order logic

Fredrik Engström
Bulletin of Symbolic Logic. Vol. 11 (2), p. 275-
Paper in proceedings
2004

Variations on replendency and recursive saturation

Fredrik Engström
New York Graduate Student Logic Conference
Conference contribution
2004

A notion of recursive saturation for models of arithmetic with the standard predicate

Fredrik Engström
Nonstandard Models of Arithmetic and Analysis
Paper in proceedings
2004

Expansions, omitting types, and standard systems

Fredrik Engström
Doctoral thesis
2003

Omitting types in expansions and related strong saturation properties

Fredrik Engström
Bulletin of Symbolic Logic. Vol. 10 (2), p. 253-
Paper in proceedings
2002

Resplendency and omitting types

Fredrik Engström
British Logic Colloquium 2002
Conference contribution

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Fredrik Engström participates, but you have to be logged in as a Chalmers employee to see them.