Modalities through the looking glass: a study on coalgebraic modal logics and their applications
Romero Leal · UvA-DARE (University of Amsterdam) · 2011
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.