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 · 483 citations

Expressiveness and completeness of an interval tense logic.

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

A Modal Logic for Chopping Intervals

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

Applied Logic, Engineering, Substructural Logic +14

A Sahlqvist theorem for distributive modal logic

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

Substructural Logic, Automated Reasoning, Classical Logic +2

Stone coalgebras

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