Person
Ştefan Minică onderzocht het stellen van vragen binnen het kader van dynamisch epistemische logica (een vorm van logica waarin kennis wordt gemodelleerd). Hiertoe definieerde hij een groot aantal actiemodellen voor vragen en ontwikkelde hij een theoretisch kader en verschillende logica’s waarmee ger
Lena Kurzen onderzocht de complexiteit van interactie. Zij deed dit vanuit het perspectief van de theoretische informatica en de logica. Naast de complexiteit van formele modellen van interactie, bestudeerde zij ook een gezelschapsspel. Ze toonde aan dat het in feite onspeelbaar is omdat de spelers
Iedere dag van ons leven is gevuld met kleine handelingen die onze informatie wijzigen. We zien nieuwe feiten, concluderen nieuwe dingen op grond daarvan, veronderstellen dingen, worden ons bewust van nieuwe mogelijkheden, erkennen wat we wel en niet weten, vergeten dingen en herinneren ons weer and
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. Gierasimc
This thesis is a study into some model-theoretic aspects of the modal µ-calculus, the extension of modal logic with least and greatest fixpoint operators. We explore these aspects through a “fine-structure” approach to the µ-calculus. That is, we concentrate on special classes of structures and part
Binnen de niet-coöperatieve speltheorie wordt de interactie tussen egoïstische mensen bestudeerd. Jonathan Zvesper onderzocht het gedrag in niet-coöperatieve spellen in termen van de overtuiging of kennis van de betrokkenen. Hij bekeek daarbij hoe de informatie die spelers hebben, de uitkomst van he
Binnen de formele leertheorie worden de voorwaarden bestudeerd, waaronder een actor stabiele kennis kan bereiken en uit een stroom van data een juiste hypothese kan vinden. Binnen de epistemische speltheorie wordt bestudeerd hoe rationele actoren beslissingen nemen tot handelen op grond van hun kenn
Go to page top
Go back to contents
Go back to site navigation