Yde Venema

	2009
44		Christian Kissig, Yde Venema: Complementation of Coalgebra Automata. CALCO 2009: 81-96
43		Yde Venema: Algebraic and Coalgebraic Logic Corner. J. Log. Comput. 19(2): 303 (2009)
	2008
42		Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21
41		Clemens Kupke, Alexander Kurz, Yde Venema: Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217
40		Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140
39		Clemens Kupke, Yde Venema: Coalgebraic Automata Theory: Basic Results CoRR abs/0811.1976: (2008)
38		Luigi Santocanale, Yde Venema: Completeness for Flat Modal Fixpoint Logics CoRR abs/0812.2390: (2008)
37		Clemens Kupke, Yde Venema: Coalgebraic Automata Theory: Basic Results. Logical Methods in Computer Science 4(4): (2008)
	2007
36		Alessandra Palmigiano, Yde Venema: Nabla Algebras and Chu Spaces. CALCO 2007: 394-408
35		Luigi Santocanale, Yde Venema: Completeness for Flat Modal Fixpoint Logics. LPAR 2007: 499-513
34		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		Yde Venema: Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. 204(4): 637-678 (2006)
	2005
30		Clemens Kupke, Yde Venema: Closure Properties of Coalgebra Automata. LICS 2005: 199-208
29		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		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		Yde Venema: Automata and Fixed Point Logics for Coalgebras. Electr. Notes Theor. Comput. Sci. 106: 355-375 (2004)
26		Yde Venema: A Dual Characterization of Subdirectly Irreducible BAOs. Studia Logica 77(1): 105-115 (2004)
25		Clemens Kupke, Alexander Kurz, Yde Venema: Stone coalgebras. Theor. Comput. Sci. 327(1-2): 109-134 (2004)
	2003
24		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		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		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		Yde Venema: Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. J. Log. Comput. 9(5): 601-621 (1999)
16		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		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		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)

Coauthor Index

1	Marta Bílková	[42]
2	Balder ten Cate	[32]
3	Corina Cîrstea	[40]
4	Willem Conradie	[32]
5	Pascal van Eck	[13] [19]
6	Joeri Engelfriet	[13] [14] [19]
7	Dieter Fensel	[13] [19]
8	Mai Gehrke	[29]
9	George Goguadze (Georgi Goguadze)	[23]
10	Robert Goldblatt	[28]
11	Guido Governatori	[33]
12	Frank van Harmelen	[13] [19]
13	Ian M. Hodkinson	[28] [33]
14	Christian Kissig	[44]
15	Clemens Kupke	[24] [25] [30] [37] [39] [41]
16	Alexander Kurz	[24] [25] [40] [41]
17	Maarten Marx	[32]
18	Angelo Montanari	[16]
19	Hideo Nagahashi	[29]
20	Alessandra Palmigiano	[36] [42]
21	Dirk Pattinson	[40]
22	Carla Piazza	[23]
23	Alberto Policriti	[16]
24	Maarten de Rijke	[6]
25	Luigi Santocanale	[35] [38]
26	Lutz Schröder	[40]
27	Vera Stebletsova	[11] [18]
28	Mark Willems	[13] [19]

Colors in the list of coauthors