Universiteit van Amsterdam


Promotie:Theoretische aspecten van dekpuntlogica's


Promotie Logica
Donderdag 9 december 2010, 12.00 uur

Amélie Gheerbrant bestudeerde bewijstheoretische en modeltheoretische aspecten van enkele veelgebruikte modale en gekwantificeerde dekpuntlogica's. Ze behandelt basisprincipes van modale logica, temporele logica, dekpuntlogica, en enkele eerste-orde en hogere-orde logica's over boomstructuren. Gheerbrant beschouwt eindige bomen, met labels op knopen, en een ordening op directe opvolgers. Ze bestudeert meerdere fragmenten en uitbreidingen van propositionele temporele logica (LTL) en keek daarnaast naar de logica µTL(U). Ze brengt de analysemethoden, gebruikmakend van modale en temporele dekpuntlogica's, over naar de speltheorie. Mw. A.P. Gheerbrant: Fixed-Point Logics on Trees. Promotor is dhr. prof. dr. J.F.A.K. van Benthem.
Locatie: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam.

Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail: persvoorlichting@uva.nl. Onder aan deze agenda vindt u de rubriek Hoogleraarsbenoemingen.