Yde Venema profile picture

Yde Venema

Stand Alone

Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Multi-Dimensional Modal Logic
Dynamic Squares
Advances in Modal Logic
Modal Logic and Process Algebra A Bisimulation Perspective
Modal Logic
Modal Logic Graph. Darst
JFAK essays dedicated to Johan van Benthem on the occasion of his 50th birthday
Finite Model Theory and Its Applications
Multi-Dimensional Modal Logic
Modal Logic