Suivre
Fredrik Engström
Titre
Citée par
Citée par
Année
Generalized quantifiers in dependence logic
F Engström
Journal of Logic, Language and Information 21 (3), 299-324, 2011
582011
Bounded Kolmogorov complexity based on cognitive models
C Strannegård, AR Nizamani, A Sjöberg, F Engström
Artificial General Intelligence: 6th International Conference, AGI 2013 …, 2013
222013
Dependence Logic with Generalized Quantifiers: Axiomatizations
F Engström, J Kontinen, J Väänänen
Logic, Language, Information, and Computation 20th International Workshop …, 2013
16*2013
Satisfaction classes in nonstandard models of first-order arithmetic
F Engström
Chalmers, 2002
152002
Characterizing Quantifier Extensions of Dependence Logic
F Engström, J Kontinen
Journal of Symbolic Logic 78 (1), 307-316, 2013
142013
Invariance and definability, with and without equality
D Bonnay, F Engström
102018
Generating comprehensible explanations in description logic
F Engström, AR Nizamani, C Strannegård
2014 International Workshop on Description Logics, 2014
102014
Reasoning about truth in first-order logic
C Strannegård, F Engström, AR Nizamani, L Rips
Journal of Logic, Language and Information, 2013
82013
Expansions, omitting types, and standard systems
F Engström
Chalmers, 2004
82004
University of Gothenburg
F Engström
42012
Implicitly definable generalized quantifiers
F Engström
arXiv preprint arXiv:1410.3625, 2014
32014
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
22014
Transplendent models: expansions omitting a type
F Engström, RW Kaye
22012
The propositional logic of teams
F Engström, OL Olsson
arXiv preprint arXiv:2303.14022, 2023
12023
Cognitively adequate complexity of reasoning in a description logic
JT Fokkens, F Engström
2023
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17