Het modaal logisch systeem S52
Promotie Logica
vrijdag 17 maart 12.00 uur
Nick Bezhanishvili richtte zich in zijn onderzoek op modale logica, een tak binnen de wiskundige logica. Modale logica is tegenwoordig een veelgebruikt gereedschap voor de analyse van verschijnselen in de informatica. Modaal logische talen zijn bij uitstek geschikt om te redeneren over relationele structuren. Modale talen koppelen een behoorlijk grote uitdrukkingskracht aan redelijke computationele eigenschappen. Bezhanishvili onderzocht een modaal logisch systeem genaamd S52 en uitbreidingen daarvan. Een van zijn hoofdresultaten is dat, hoewel de computationele complexiteit van S52 behoorlijk hoog is (non-deterministische, exponentiële tijd), de complexiteit van elke echte uitbreiding van S52 een veel lagere complexiteit heeft (non-deterministische, polynomiale tijd).
N. Bezhanishvili: Lattices of Intermediate and Cylindric Modal Logics. Promotor is prof. dr. D.H.J. de Jongh.
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail:
Universiteit van Amsterdam