Knowing one's limits: logical analysis of inductive inference

Nina Gierasimczuk verbond leertheorie met logica's van kennis en geloof. Ze analyseerde de leertheoretische werkwijze in termen van de dynamisch-epistemische logica. Ze gebruikte leertheorie om strategieën voor geloofsrevisie die gebaseerd zijn op dynamisch-episteische logica te evalueren. Gierasimczuk geeft daarnaast een logische visie op inductieve inferentie en tot syntactische karakteriseringen van leerbaarheid in modale en temporele logica's. Verdere thema's, afkomstig uit de gebieden van berekenbaarheid, speltheorie, en de theorie van meer-agnetsystemen, versterken de verbinding door additionele computationele, logische en filosofische inzichten te geven in processen van epistemische en doxastische verandering.