Yde Venema

<i>Dynamic Logic</i> by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Yde Venema · Theory and Practice of Logic Programming · 2002 · 484 citations

Humanities, Computer Science, Knowledge Representation +8

Expressiveness and completeness of an interval tense logic.

Yde Venema · Notre Dame Journal of Formal Logic · 1990 · 153 citations · Full text

Humanities, Computer Science, Mathematics +12

A Modal Logic for Chopping Intervals

Yde Venema · Journal of Logic and Computation · 1991 · 149 citations

Humanities, Computer Science, Mathematics +10

A Sahlqvist theorem for distributive modal logic

Mai Gehrke, Hideo Nagahashi, Yde Venema · Annals of Pure and Applied Logic · 2004 · 125 citations

Humanities, Computer Science, Mathematics +7

Stone coalgebras

Clemens Kupke, Alexander Kurz, Yde Venema · Theoretical Computer Science · 2004 · 107 citations