A note on standard systems and ultrafilters. - Fredrik Engström (J. Symb. Log., 2008)

Generalized Quantifiers in Dependence Logic. - Fredrik Engström (J. Log. Lang. Inf., 2012)

Transplendent Models: Expansions Omitting a Type. - Fredrik Engström; Richard Kaye (Notre Dame J. Formal Log., 2012)

Bounded Kolmogorov Complexity Based on Cognitive Models. - Claes Strannegård; Abdul Rahim Nizamani; Anders Sjöberg; Fredrik Engström (AGI, 2013)

Reasoning About Truth in First-Order Logic. - Claes Strannegård; Fredrik Engström; Abdul Rahim Nizamani; Lance J. Rips (J. Log. Lang. Inf., 2013)

Characterizing quantifier extensions of dependence logic. - Fredrik Engström; Juha Kontinen (J. Symb. Log., 2013)

Symbolic Reasoning with Bounded Cognitive Resources. - Claes Strannegård; Abdul Rahim Nizamani; Fredrik Engström; Olle Häggström (CogSci, 2014)

Generating Comprehensible Explanations in Description Logic. - Fredrik Engström; Abdul Rahim Nizamani; Claes Strannegård (Description Logics, 2014)

Dependence logic with generalized quantifiers: Axiomatizations. - Fredrik Engström; Juha Kontinen; Jouko Väänänen (J. Comput. Syst. Sci., 2017)

Invariance and Definability, with and without Equality. - Denis Bonnay; Fredrik Engström (Notre Dame J. Formal Log., 2018)

An Indirect Measurement Methodology to Identify Load Fluctuations on Axial Turbine Runner Blades. - Arash Soltani Dehkharqani; Fredrik Engström; Jan-Olov Aidanpää; Michel J. Cervantes (Sensors, 2020)

Cognitively Adequate Complexity of Reasoning in a Description Logic. - Jelle Tjeerd Fokkens; Fredrik Engström (KoDis+CAKR@KR, 2023)