Search the dblp DataBase
Yde Venema :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Vera Stebletsova , Yde Venema Axioms for Jonsson's Q-Algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:215-224 [Conf ] Yde Venema Canonical Pseudo-Correspondence. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 1998, pp:421-430 [Conf ] Pascal van Eck , Joeri Engelfriet , Dieter Fensel , Frank van Harmelen , Yde Venema , Mark Willems Specification of Dynamics for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Transactions and Change in Logic Databases, 1998, pp:37-68 [Conf ] Yde Venema Completeness through Flatness in Two-Dimensional Temporal Logic. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:149-164 [Conf ] Balder ten Cate , Willem Conradie , Maarten Marx , Yde Venema Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:79-89 [Conf ] Clemens Kupke , Yde Venema Closure Properties of Coalgebra Automata. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:199-208 [Conf ] Joeri Engelfriet , Yde Venema A Modal Logic of Information Change. [Citation Graph (0, 0)][DBLP ] TARK, 1998, pp:125-131 [Conf ] Mai Gehrke , Hideo Nagahashi , Yde Venema A Sahlqvist theorem for distributive modal logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:65-102 [Journal ] Robert Goldblatt , Ian M. Hodkinson , Yde Venema Erdös graphs resolve Fine's canonicity problem. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2004, v:10, n:2, pp:186-208 [Journal ] Clemens Kupke , Alexander Kurz , Yde Venema Stone Coalgebras. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal ] Yde Venema Automata and Fixed Point Logics for Coalgebras. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:355-375 [Journal ] Yde Venema Automata and fixed point logic: A coalgebraic perspective. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2006, v:204, n:4, pp:637-678 [Journal ] Angelo Montanari , Alberto Policriti , Yde Venema Editorial. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1999, v:7, n:1, pp:5-6 [Journal ] Yde Venema Tree Models and (Labeled) Categorial Grammar. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1996, v:5, n:3/4, pp:253-277 [Journal ] Yde Venema Editorial: Modal Logic and Dynamic Semantics. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1997, v:6, n:4, pp:357-360 [Journal ] George Goguadze , Carla Piazza , Yde Venema Simulating polyadic modal logics by monadic ones. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2003, v:68, n:2, pp:419-462 [Journal ] Vera Stebletsova , Yde Venema Undecidable Theories of Lyndon Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:1, pp:207-224 [Journal ] Yde Venema Atomless varieties. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2003, v:68, n:2, pp:607-614 [Journal ] Yde Venema Derivation Rules as Anti-Axioms in Modal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1993, v:58, n:3, pp:1003-1034 [Journal ] Yde Venema Cylindrical Modal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:2, pp:591-623 [Journal ] Yde Venema Rectangular Games. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1998, v:63, n:4, pp:1549-1564 [Journal ] Yde Venema A Modal Logic for Chopping Intervals. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1991, v:1, n:4, pp:453-476 [Journal ] Yde Venema Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1999, v:9, n:5, pp:601-621 [Journal ] Yde Venema Expressiveness and Completeness of an Interval Tense Logic. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:529-547 [Journal ] Maarten de Rijke , Yde Venema Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:54, n:1, pp:61-78 [Journal ] Yde Venema Representation of Game Algebras. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2003, v:75, n:2, pp:239-256 [Journal ] Yde Venema A Dual Characterization of Subdirectly Irreducible BAOs. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2004, v:77, n:1, pp:105-115 [Journal ] Yde Venema Meeting strength in substructural logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:54, n:1, pp:3-32 [Journal ] Clemens Kupke , Alexander Kurz , Yde Venema Stone coalgebras. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:327, n:1-2, pp:109-134 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2001, v:13, n:3, pp:462-496 [Journal ] Yde Venema Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6. [Citation Graph (0, 0)][DBLP ] TPLP, 2002, v:2, n:3, pp:419-421 [Journal ] Alessandra Palmigiano , Yde Venema Nabla Algebras and Chu Spaces. [Citation Graph (0, 0)][DBLP ] CALCO, 2007, pp:394-408 [Conf ] Luigi Santocanale , Yde Venema Completeness for Flat Modal Fixpoint Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:499-513 [Conf ] Yde Venema A Modal Distributive Law (abstract). [Citation Graph (0, 0)][DBLP ] WoLLIC, 2007, pp:351- [Conf ] Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP ] Proof systems for the coalgebraic cover modality. [Citation Graph (, )][DBLP ] Complementation of Coalgebra Automata. [Citation Graph (, )][DBLP ] Flat Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP ] Automata for Coalgebras: An Approach Using Predicate Liftings. [Citation Graph (, )][DBLP ] Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP ] Coalgebraic Automata Theory: Basic Results [Citation Graph (, )][DBLP ] Completeness for Flat Modal Fixpoint Logics [Citation Graph (, )][DBLP ] Flat coalgebraic fixed point logics [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.333secs