Universiteit van Amsterdam


Promotie: Een onderzoek naar coalgabraïsche modale logica's


Promotie Logica

vrijdag 18 november, 11.00 uur

Raúl Andrés Leal deed onderzoek naar coalgebra's en modale logica's. Coalgabra's vormen de basis voor een wiskundig theorie van computersystemen. Met coalgabra's kunnen systemen bestudeerd worden waartoe slechts beperkt toegang is, of waarvan de toestanden niet volledig bekend zijn. Dit heet het black box-perspectief. Modale logica's bieden een interne, lokale kijk op relationele structuren. De oorsprong ervan ligt in de wijsbegeerte. Tegenwoordig wordt gesteld dat modale logica's coalgabraïsch zijn. Leal ontwikkelde onder meer coalgabraïsche modale logica's. Dhr. R.A. Leal Rodríguez: Modalities Through the Looking Glass. A study on coalgabraic modal logics and their applications. Promotor is dhr. prof. dr. Y. Venema.
Locatie: Aula van de UvA, Singel 411, Amsterdam.




Universiteit van Amsterdam