Yde Venema is a 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 December 6, 2024 at 19:54:35. See the history of this page for a list of all contributions to it.