11dec2015

11.00

Fragmenten van dekpuntlogica's

Logica

11dec2015 11.00

Promotie

Facundo Carreiro richt zich op het - op systematische wijze - identificeren van verschillende belangrijke logica's als precieze fragmenten van andere bekende logica's. Hij bestudeert hiertoe de relatieve uitdrukkingskracht en de eigenschappen van een aantal zogenoemde dekpunt- en tweede-ordelogica's.

Dhr. F.M. Carreiro: Fragments of Fixpoint Logics. Automata and Expressiveness. Promotor is prof. dr. Y. Venema.

Deelname

Toegang vrij

Locatie

* Aula - Oude Lutherse kerk

Singel 411 | 1012 XM Amsterdam

Ga naar detailpagina

* Download de samenvatting (PDF)

Zie het origineel.

Gepubliceerd door UvA Persvoorlichting