Prof.dr. Y. Venema

Update Persondata

• games
• graphs
• logics
• mathematical

Active as

Publications

(the most recent at the top)

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

All publications..

Current research

(the most recent research is at the top)
Project leader	Algebra and Coalgebra: the mathematical environments of modal logic

Completed research projects

(the most recent research is at the top)
Researcher	GLoRiClass: Games in Logic Reaching Out for Classical Game Theory
Researcher	Game theory and communication
Researcher	Constructive and intensional logic

Classification

D11100	Logic, set theory and arithmetic
D11200	Algebra, group theory