| 2007 |
|---|
| 36 | EE | Alessandra Palmigiano,
Yde Venema:
Nabla Algebras and Chu Spaces.
CALCO 2007: 394-408 |
| 35 | EE | Luigi Santocanale,
Yde Venema:
Completeness for Flat Modal Fixpoint Logics.
LPAR 2007: 499-513 |
| 34 | EE | Yde Venema:
A Modal Distributive Law (abstract).
WoLLIC 2007: 351 |
| 2006 |
|---|
| 33 | | Guido Governatori,
Ian M. Hodkinson,
Yde Venema:
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006
College Publications 2006 |
| 32 | | Balder ten Cate,
Willem Conradie,
Maarten Marx,
Yde Venema:
Definitorially Complete Description Logics.
KR 2006: 79-89 |
| 31 | EE | Yde Venema:
Automata and fixed point logic: A coalgebraic perspective.
Inf. Comput. 204(4): 637-678 (2006) |
| 2005 |
|---|
| 30 | EE | Clemens Kupke,
Yde Venema:
Closure Properties of Coalgebra Automata.
LICS 2005: 199-208 |
| 29 | EE | Mai Gehrke,
Hideo Nagahashi,
Yde Venema:
A Sahlqvist theorem for distributive modal logic.
Ann. Pure Appl. Logic 131(1-3): 65-102 (2005) |
| 2004 |
|---|
| 28 | EE | Robert Goldblatt,
Ian M. Hodkinson,
Yde Venema:
Erdös graphs resolve Fine's canonicity problem.
Bulletin of Symbolic Logic 10(2): 186-208 (2004) |
| 27 | EE | Yde Venema:
Automata and Fixed Point Logics for Coalgebras.
Electr. Notes Theor. Comput. Sci. 106: 355-375 (2004) |
| 26 | EE | Yde Venema:
A Dual Characterization of Subdirectly Irreducible BAOs.
Studia Logica 77(1): 105-115 (2004) |
| 25 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone coalgebras.
Theor. Comput. Sci. 327(1-2): 109-134 (2004) |
| 2003 |
|---|
| 24 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 23 | | George Goguadze,
Carla Piazza,
Yde Venema:
Simulating polyadic modal logics by monadic ones.
J. Symb. Log. 68(2): 419-462 (2003) |
| 22 | | Yde Venema:
Atomless varieties.
J. Symb. Log. 68(2): 607-614 (2003) |
| 21 | EE | Yde Venema:
Representation of Game Algebras.
Studia Logica 75(2): 239-256 (2003) |
| 2002 |
|---|
| 20 | | Yde Venema:
Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6.
TPLP 2(3): 419-421 (2002) |
| 2001 |
|---|
| 19 | EE | Pascal van Eck,
Joeri Engelfriet,
Dieter Fensel,
Frank van Harmelen,
Yde Venema,
Mark Willems:
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng. 13(3): 462-496 (2001) |
| 18 | | Vera Stebletsova,
Yde Venema:
Undecidable Theories of Lyndon Algebras.
J. Symb. Log. 66(1): 207-224 (2001) |
| 1999 |
|---|
| 17 | EE | Yde Venema:
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.
J. Log. Comput. 9(5): 601-621 (1999) |
| 16 | EE | Angelo Montanari,
Alberto Policriti,
Yde Venema:
Editorial.
Logic Journal of the IGPL 7(1): 5-6 (1999) |
| 1998 |
|---|
| 15 | | Yde Venema:
Canonical Pseudo-Correspondence.
Advances in Modal Logic 1998: 421-430 |
| 14 | | Joeri Engelfriet,
Yde Venema:
A Modal Logic of Information Change.
TARK 1998: 125-131 |
| 13 | EE | Pascal van Eck,
Joeri Engelfriet,
Dieter Fensel,
Frank van Harmelen,
Yde Venema,
Mark Willems:
Specification of Dynamics for Knowledge-Based Systems.
Transactions and Change in Logic Databases 1998: 37-68 |
| 12 | | Yde Venema:
Rectangular Games.
J. Symb. Log. 63(4): 1549-1564 (1998) |
| 1997 |
|---|
| 11 | | Vera Stebletsova,
Yde Venema:
Axioms for Jonsson's Q-Algebras.
RelMiCS 1997: 215-224 |
| 10 | | Yde Venema:
Editorial: Modal Logic and Dynamic Semantics.
Journal of Logic, Language and Information 6(4): 357-360 (1997) |
| 1996 |
|---|
| 9 | | Yde Venema:
Tree Models and (Labeled) Categorial Grammar.
Journal of Logic, Language and Information 5(3/4): 253-277 (1996) |
| 1995 |
|---|
| 8 | | Yde Venema:
Cylindrical Modal Logic.
J. Symb. Log. 60(2): 591-623 (1995) |
| 7 | | Yde Venema:
Meeting strength in substructural logics.
Studia Logica 54(1): 3-32 (1995) |
| 6 | | Maarten de Rijke,
Yde Venema:
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras.
Studia Logica 54(1): 61-78 (1995) |
| 1994 |
|---|
| 5 | | Yde Venema:
Completeness through Flatness in Two-Dimensional Temporal Logic.
ICTL 1994: 149-164 |
| 4 | EE | Yde Venema:
A Modal Logic for Quantification and Substitution.
Logic Journal of the IGPL 2(1): 31-45 (1994) |
| 1993 |
|---|
| 3 | | Yde Venema:
Derivation Rules as Anti-Axioms in Modal Logic.
J. Symb. Log. 58(3): 1003-1034 (1993) |
| 1991 |
|---|
| 2 | | Yde Venema:
A Modal Logic for Chopping Intervals.
J. Log. Comput. 1(4): 453-476 (1991) |
| 1990 |
|---|
| 1 | | Yde Venema:
Expressiveness and Completeness of an Interval Tense Logic.
Notre Dame Journal of Formal Logic 31(4): 529-547 (1990) |
