@book(apperly2010,
 author       = {Ian Apperly},
 year         = {2011},
 title        = {Mindreaders: the cognitive basis of ``{T}heory of {M}ind"},
 publisher    = {Psychology Press},
 doi          = {10.1007/s11097-012-9292-9},
)
@article(aucher2010,
 author       = {Guillaume Aucher},
 year         = {2010},
 title        = {An internal version of epistemic logic},
 journal      = {Studia Logica},
 volume       = {94},
 number       = {1},
 pages        = {1--22},
 doi          = {10.1007/s11225-010-9227-9},
)
@inproceedings(aucher2013,
 author       = {Guillaume Aucher and Fran{\c{c}}ois Schwarzentruber},
 year         = {2013},
 title        = {On the Complexity of Dynamic Epistemic Logic},
 booktitle    = {{Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge ({TARK})}},
)
@inproceedings(baltag1998,
 author       = {Alexandru Baltag and Lawrence S Moss and Slawomir Solecki},
 year         = {1998},
 title        = {The logic of public announcements, common knowledge, and private suspicions},
 booktitle    = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK)},
)
@article(baron1985,
 author       = {Baron-Cohen, Simon and Alan M Leslie and Uta Frith},
 year         = {1985},
 title        = {Does the autistic child have a ``theory of mind''?},
 journal      = {Cognition},
 volume       = {21},
 number       = {1},
 pages        = {37--46},
 doi          = {10.1016/0010-0277(85)90022-8},
)
@book(Ben11,
 author       = {{}{{van Benthem}}, J.},
 year         = {2011},
 title        = {Logical Dynamics of Information and Interaction},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/cbo9780511974533},
)
@article(blackburn2006,
 author       = {Patrick Blackburn and {\VAN{Benthem}{Van}{van}} Benthem, Johan},
 year         = {2006},
 title        = {Modal logic: A semantic perspective},
 journal      = {Handbook of modal logic},
 volume       = {3},
 pages        = {1--84},
 doi          = {10.1016/s1570-2464(07)80004-8},
)
@inproceedings(bolander2014,
 author       = {Thomas Bolander},
 year         = {2014},
 title        = {Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic},
 booktitle    = {Proceedings of European Conference on Social Intelligence (ECSI 2014)},
 pages        = {87--107},
)
@article(bolander2011,
 author       = {Thomas Bolander and Mikkel Birkegaard Andersen},
 year         = {2011},
 title        = {Epistemic planning for single and multi-agent systems},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {21},
 number       = {1},
 pages        = {9--34},
 doi          = {10.3166/jancl.21.9-34},
)
@inproceedings(bolander2015,
 author       = {Thomas Bolander and Martin Holm Jensen and Fran\c{c}ois Schwarzentruber},
 year         = {2015},
 title        = {Complexity Results in Epistemic Planning},
 booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
 publisher    = {AAAI Press},
)
@inproceedings(brauner2013,
 author       = {Torben Bra\"{u}ner},
 year         = {2013},
 title        = {Hybrid-logical reasoning in false-belief tasks},
 editor       = {B.C. Schipper},
 booktitle    = {Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge ({TARK})},
)
@article(Chater2006,
 author       = {Nick Chater and Joshua B Tenenbaum and Alan Yuille},
 year         = {2006},
 title        = {Probabilistic models of cognition: Conceptual foundations},
 journal      = {Trends in Cognitive Sciences},
 volume       = {10},
 number       = {7},
 pages        = {287--291},
 doi          = {10.1016/j.tics.2006.05.007},
)
@article(cherniak1986,
 author       = {Christopher Cherniak},
 year         = {1981},
 title        = {Minimal Rationality},
 journal      = {Mind},
 volume       = {{XC}},
 number       = {358},
 pages        = {161--183},
 doi          = {10.1093/mind/xc.358.161},
)
@inproceedings(cook1971,
 author       = {S. A. Cook},
 year         = {1971},
 title        = {The complexity of theorem proving procedures},
 booktitle    = {Proceedings of the 3rd {A}nnual {ACM} {S}ymposium on the {T}heory of {C}omputing (STOC)},
 organization = {ACM},
 pages        = {151--158},
 doi          = {10.1145/800157.805047},
)
@article(degremont2014,
 author       = {Cedric D\'egremont and Lena Kurzen and Jakub Szymanik},
 year         = {2014},
 title        = {Exploring the tractability border in epistemic tasks},
 journal      = {Synthese},
 volume       = {191},
 number       = {3},
 pages        = {371--408},
 doi          = {10.1007/s11229-012-0215-7},
)
@book(ditmarsch2008,
 author       = {{\VAN{Ditmarsch}{Van}{van}} Ditmarsch, Hans and Wiebe van der Hoek and Barteld Pieter Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(downey1999,
 author       = {Rodney G. Downey and Michael R. Fellows},
 year         = {1999},
 title        = {Parameterized Complexity},
 series       = {Monographs in Computer Science},
 publisher    = {Springer},
 address      = {New York},
 doi          = {10.1007/978-1-4612-0515-9},
)
@book(downey2013,
 author       = {Rodney G. Downey and Michael R. Fellows},
 year         = {2013},
 title        = {Fundamentals of Parameterized Complexity},
 series       = {Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4471-5559-1},
)
@article(fellows2009,
 author       = {Michael R. Fellows and Danny Hermelin and Frances A. Rosamond and St{\'e}phane Vialette},
 year         = {2009},
 title        = {On the parameterized complexity of multiple-interval graph problems},
 journal      = {Theoretical Computer Science},
 volume       = {410},
 number       = {1},
 pages        = {53--61},
 doi          = {10.1016/j.tcs.2008.09.065},
)
@article(verbrugge2008,
 author       = {Liesbeth Flobbe and Rineke Verbrugge and Petra Hendriks and Irene Kr{\"a}mer},
 year         = {2008},
 title        = {Children's application of theory of mind in reasoning and language},
 journal      = {Journal of Logic, Language and Information},
 volume       = {17},
 number       = {4},
 pages        = {417--442},
 doi          = {10.1007/s10849-008-9064-7},
)
@article(flum2003,
 author       = {J{\"o}rg Flum and Martin Grohe},
 year         = {2003},
 title        = {Describing parameterized complexity classes},
 journal      = {Information and Computation},
 volume       = {187},
 number       = {2},
 pages        = {291--319},
 doi          = {10.1016/s0890-5401(03)00161-5},
)
@book(flum2006,
 author       = {J\"{o}rg Flum and Martin Grohe},
 year         = {2006},
 title        = {Parameterized Complexity Theory},
 series       = {Texts in Theoretical Computer Science. An EATCS Series},
 volume       = {XIV},
 publisher    = {Springer},
 address      = {Berlin},
 doi          = {10.1007/3-540-29953-x},
)
@article(frith2001,
 author       = {Uta Frith},
 year         = {2001},
 title        = {Mind blindness and the brain in autism},
 journal      = {Neuron},
 volume       = {32},
 number       = {6},
 pages        = {969--979},
 doi          = {10.1016/s0896-6273(01)00552-9},
)
@article(frixione2001,
 author       = {Marcello Frixione},
 year         = {2001},
 title        = {Tractable competence},
 journal      = {Minds and Machines},
 volume       = {11},
 number       = {3},
 pages        = {379--397},
 doi          = {10.1023/A:1017503201702},
)
@inproceedings(szymanik2011,
 author       = {Nina Gierasimczuk and Jakub Szymanik},
 year         = {2011},
 title        = {A note on a generalization of the Muddy Children puzzle},
 booktitle    = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK)},
 doi          = {10.1145/2000378.2000409},
)
@article(gigerenzer2008,
 author       = {Gerd Gigerenzer},
 year         = {2008},
 title        = {Why heuristics work},
 journal      = {Perspectives on psychological science},
 volume       = {3},
 number       = {1},
 pages        = {20--29},
 doi          = {10.1111/j.1745-6916.2008.00058.x},
)
@book(haselager1997,
 author       = {W. F. G. Haselager},
 year         = {1997},
 title        = {Cognitive Science and Folk Psychology: The Right Frame of Mind},
 publisher    = {Sage Publications},
)
@incollection(isaac2014,
 author       = {Alistair M.C. Isaac and Jakub Szymanik and Rineke Verbrugge},
 year         = {2014},
 title        = {Logic and Complexity in Cognitive Science},
 editor       = {Alexandru Baltag and Sonja Smets},
 booktitle    = {Johan van Benthem on Logic and Information Dynamics},
 series       = {Outstanding Contributions to Logic},
 volume       = {5},
 publisher    = {Springer International Publishing},
 pages        = {787--824},
 doi          = {10.1007/978-3-319-06025-5_30},
)
@article(kinderman1998,
 author       = {Peter Kinderman and Robin Dunbar and Richard P. Bentall},
 year         = {1998},
 title        = {Theory-of-mind deficits and causal attributions},
 journal      = {British Journal of Psychology},
 volume       = {89},
 number       = {2},
 pages        = {191--204},
 doi          = {10.1111/j.2044-8295.1998.tb02680.x},
)
@article(levin1973,
 author       = {L. A. Levin},
 year         = {1973},
 title        = {Universal sequential search problems},
 journal      = {Problems of Information Transmission},
 volume       = {9},
 number       = {3},
 pages        = {265--266},
)
@incollection(levinson2006,
 author       = {Stephen C Levinson},
 year         = {2006},
 title        = {On the human `interaction engine'},
 editor       = {N. J. Enfield and S. C. Levinson},
 booktitle    = {Roots of human sociality: Culture, cognition and interaction},
 publisher    = {Oxford: Berg},
 pages        = {39--69},
)
@article(lyons2010,
 author       = {M. Lyons and T. Caldwell and S. Shultz},
 year         = {2010},
 title        = {Mind-reading and manipulation -- Is Machiavellianism related to theory of mind?},
 journal      = {Journal of Evolutionary Psychology},
 volume       = {8},
 number       = {3},
 pages        = {261--274},
 doi          = {10.1556/jep.8.2010.3.7},
)
@book(marr1982,
 author       = {David Marr},
 year         = {1982},
 title        = {Vision: A computational investigation into the human representation and processing of visual information},
 publisher    = {San Francisco: WH Freeman},
)
@book(nichols2003,
 author       = {Shaun Nichols and Stephen P Stich},
 year         = {2003},
 title        = {Mindreading: An integrated account of pretence, self-awareness, and understanding other minds.},
 publisher    = {Oxford University Press},
 doi          = {10.1093/0198236107.001.0001},
)
@book(niedermeier2006,
 author       = {Rolf Niedermeier},
 year         = {2006},
 title        = {Invitation to Fixed-Parameter Algorithms},
 series       = {Oxford Lecture Series in Mathematics and its Applications},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780198566076.001.0001},
)
@book(perea2012,
 author       = {Andr{\'e}s Perea},
 year         = {2012},
 title        = {Epistemic Game Theory: reasoning and choice},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511844072},
)
@mastersthesis(vandepol2015,
 author       = {{van de Pol}, Iris},
 year         = {2015},
 title        = {{How Difficult is it to Think that you Think that {I} Think that ...?} \emph{{A} {DEL}-based Computational-level Model of Theory of Mind and its Complexity}},
 school       = {University of Amsterdam},
 address      = {the Netherlands},
)
@article(premack1978,
 author       = {David Premack and Guy Woodruff},
 year         = {1978},
 title        = {Does the chimpanzee have a theory of mind?},
 journal      = {Behavioral and brain sciences},
 volume       = {1},
 number       = {04},
 pages        = {515--526},
 doi          = {10.1017/s0140525x00076512},
)
@inproceedings(vanrooij2008analogical,
 author       = {{van Rooij}, Iris and Patricia Evans and Moritz M{\"u}ller and Jason Gedge and Todd Wareham},
 year         = {2008},
 title        = {Identifying sources of intractability in cognitive models: An illustration using analogical structure mapping},
 booktitle    = {Proceedings of the 30th Annual Conference of the Cognitive Science Society},
 pages        = {915--920},
)
@article(vanRooij2008opportunities,
 author       = {{van Rooij}, Iris and Todd Wareham},
 year         = {2008},
 title        = {Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities},
 journal      = {The Computer Journal},
 volume       = {51},
 number       = {3},
 pages        = {385--404},
 doi          = {10.1093/comjnl/bxm034},
)
@article(vanrooij2014,
 author       = {{van Rooij}, Iris and Cory D Wright and Johan Kwisthout and Todd Wareham},
 year         = {2014},
 title        = {Rational analysis, intractability, and the prospects of `as if'-explanations},
 journal      = {Synthese},
 pages        = {1--20},
 doi          = {10.1007/s11229-014-0532-0},
)
@article(vanrooij2008,
 author       = {{\VAN{Rooij}{Van}{van}} Rooij, Iris},
 year         = {2008},
 title        = {The tractable cognition thesis},
 journal      = {Cognitive Science},
 volume       = {32},
 number       = {6},
 pages        = {939--984},
 doi          = {10.1080/03640210801897856},
)
@article(vanrooij2012,
 author       = {{\VAN{Rooij}{Van}{van}} Rooij, Iris and Cory D Wright and Todd Wareham},
 year         = {2012},
 title        = {Intractability and the use of heuristics in psychological explanations},
 journal      = {Synthese},
 volume       = {187},
 number       = {2},
 pages        = {471--487},
 doi          = {10.1007/s11229-010-9847-7},
)
@article(stiller2007,
 author       = {James Stiller and Robin I.M. Dunbar},
 year         = {2007},
 title        = {Perspective-taking and memory capacity predict social network size},
 journal      = {Social Networks},
 volume       = {29},
 number       = {1},
 pages        = {93--104},
 doi          = {10.1016/j.socnet.2006.04.001},
)
@inproceedings(stockmeyer1973,
 author       = {Larry J Stockmeyer and Albert R Meyer},
 year         = {1973},
 title        = {Word problems requiring exponential time (Preliminary Report)},
 booktitle    = {Proceedings of the 5th {A}nnual {ACM} {S}ymposium on the {T}heory of {C}omputing (STOC)},
 organization = {ACM},
 pages        = {1--9},
 doi          = {10.1145/800125.804029},
)
@article(tsotsos1990,
 author       = {John K Tsotsos},
 year         = {1990},
 title        = {Analyzing vision at the complexity level},
 journal      = {Behavioral and Brain Sciences},
 volume       = {13},
 number       = {03},
 pages        = {423--445},
 doi          = {10.1017/s0140525x00079577},
)
@article(verbrugge2009,
 author       = {Rineke Verbrugge},
 year         = {2009},
 title        = {Logic and Social Cognition: the Facts Matter, and so Do Computational Models},
 journal      = {Journal of Philosophical Logic},
 volume       = {38},
 number       = {6},
 pages        = {649--680},
 doi          = {10.1007/s10992-009-9115-9},
)
@article(wellman2001,
 author       = {Henry M. Wellman and David Cross and Julanne Watson},
 year         = {2001},
 title        = {Meta-Analysis of Theory-of-Mind Development: The Truth about False Belief},
 journal      = {Child Development},
 volume       = {72},
 number       = {3},
 pages        = {655--684},
 doi          = {10.1111/1467-8624.00304},
)
@article(perner1983,
 author       = {Heinz Wimmer and Josef Perner},
 year         = {1983},
 title        = {Beliefs about beliefs: Representation and constraining function of wrong beliefs in young children's understanding of deception},
 journal      = {Cognition},
 volume       = {13},
 number       = {1},
 pages        = {103--128},
 doi          = {10.1016/0010-0277(83)90004-5},
)
@book(zawidzki2013,
 author       = {Tadeusz Wieslaw Zawidzki},
 year         = {2013},
 title        = {Mindshaping: A New framework for understanding human social cognition},
 publisher    = {MIT Press},
)