Yde Venema

2008
40	EE	Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21
39	EE	Clemens Kupke, Alexander Kurz, Yde Venema: Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217
38	EE	Clemens Kupke, Yde Venema: Coalgebraic Automata Theory: Basic Results CoRR abs/0811.1976: (2008)
37	EE	Luigi Santocanale, Yde Venema: Completeness for Flat Modal Fixpoint Logics CoRR abs/0812.2390: (2008)
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)

Coauthor Index

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

Colors in the list of coauthors