Yde Venema is an associate professor at the Institute for Logic, Language and Computation at the Universiteit van Amsterdam.
He is interested in modal logic and its (mathematical) foundations and, in particular in algebraic and coalgebraic aspects of modal logic.
On modal logic:
Last revised on October 24, 2022 at 15:02:28. See the history of this page for a list of all contributions to it.