Fredrik Engström
TitleCited byYear
Generalized quantifiers in dependence logic
F Engström
Journal of Logic, Language and Information 21 (3), 299-324, 2011
512011
Bounded Kolmogorov complexity based on cognitive models
C Strannegård, AR Nizamani, A Sjöberg, F Engström
International Conference on Artificial General Intelligence, 130-139, 2013
212013
Characterizing Quantifier Extensions of Dependence Logic
F Engström, J Kontinen
Journal of Symbolic Logic 78 (1), 307-316, 2013
132013
Dependence Logic with Generalized Quantifiers: Axiomatizations
F Engström, J Kontinen, J Väänänen
Logic, Language, Information, and Computation 20th International Workshop …, 2013
11*2013
Satisfaction classes in nonstandard models of first-order arithmetic
F Engström
Chalmers, 2002
102002
Invariance and definability, with and without equality
D Bonnay, F Engström
Notre Dame Journal of Formal Logic 59 (1), 109-133, 2018
82018
Reasoning about truth in first-order logic
C Strannegård, F Engström, AR Nizamani, L Rips
Journal of Logic, Language and Information, 2013
72013
Expansions, omitting types, and standard systems
F Engström
Chalmers, 2004
72004
Generating comprehensible explanations in description logic
F Engström, AR Nizamani, C Strannegård
2014 International Workshop on Description Logics, 2014
2*2014
Transplendent models: expansions omitting a type
F Engström, RW Kaye
Notre Dame Journal of Formal Logic 53 (3), 413-428, 2012
22012
Symbolic Reasoning with Bounded Cognitive Resources
C Strannegard, AR Nizamani, F Engstrom, O Haggstrom
Proceedings of the Annual Meeting of the Cognitive Science Society 36 (36), 2014
12014
20th workshop on logic, language, information and computation–WoLLIC 2013
L Libkin, U Kohlenbach, RJGB de Queiroz
Journal of Computer and System Sciences 88, 1-2, 2017
2017
Implicitly definable generalized quantifiers
F Engström
arXiv preprint arXiv:1410.3625, 2014
2014
Non-isomorphism invariant Borel quantifiers
F Engström, P Schlicht
Proc. Amer. Math. Soc 139, 4487-4496, 2011
2011
A note on standard systems and ultrafilters
F Engström
The Journal of Symbolic Logic 73 (3), 824-830, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–15