Eindige co-algebraïsche logica's
Promotie Logica
donderdag 23 maart 12.00 uur
Clemens Kupke richtte zich in zijn onderzoek op het verbeteren van het begrip van de hechte band tussen modale logica's en co-algebra's. In de literatuur zijn verschillende typen modale talen voorgesteld om over co-algebra's te redeneren. Kupke beschouwt in zijn onderzoek drie typen. Hij stelt dat de syntax van een logische taal, waarmee zinvol over co-algebra's geredeneerd kan worden, van eindige aard zou moeten zijn. Vandaar dat alle talen die hij bespreekt eindig zijn. Talen met een eindige syntax missen echter in het algemeen de zogeheten Hennessy-Milner-eigenschap. Om die reden is het een natuurlijke vraag of er een klasse van co-algebra's gevonden kan worden die logica's met een eindige syntax toestaat, die desondanks de Hennessy-Milner-eigenschap hebben. Om dit vraagstuk op te lossen generaliseert Kupke een bekend concept uit de moderne logica: descriptieve gegeneraliseerde frames.
C.A. Kupke: Finitary coalgebraic logics. Promotor is prof. dr. J.J.M.M. Rutten (VU).
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail:
Universiteit van Amsterdam