Prof.dr. Y. Venema

Wijzig persoonsdata

• games
• graphs
• logics
• mathematische

Werkzaam als

Publicaties

(de meest recente is bovenaan geplaatst)

Algebra en coalgebra: bespiegelingen in de logica

On monotone modalities and adjointness

Modal logics are coalgebraic

Flat coalgebraic fixed point logics

Automata for Coalgebras: an approach using predicate liftings

Alle publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Algebra and Coalgebra: the mathematical environments of modal logic

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Onderzoeker	GLoRiClass: Games in Logic Reaching Out for Classical Game Theory
Onderzoeker	Speltheorie en communicatie
Onderzoeker	Constructieve en intensionele logica

Classificatie

D11100	Logica, verzamelingen- en getallenleer
D11200	Algebra, groepentheorie