Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yde Venema
2010 – today
- 2013
[j35]Yde Venema, Steve Vickers, Jacob Vosmaer: Generalised powerlocales via relation lifting. Mathematical Structures in Computer Science 23(1): 142-199 (2013)- 2012
- [j34]Clemens Kupke, Alexander Kurz, Yde Venema: Completeness for the coalgebraic cover modality. Logical Methods in Computer Science 8(3) (2012)
- [j33]Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema: Foreword. Studia Logica 100(1-2): 1-7 (2012)
- [c21]
- [c20]
- [i4]Yde Venema, Steve Vickers, Jacob Vosmaer: Generalized powerlocales via relation lifting. CoRR abs/1202.3264 (2012)
- 2011
- [j32]Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. Comput. J. 54(1): 31-41 (2011)
- [j31]Marta Bílková, Jiri Velebil, Yde Venema: On monotone modalities and adjointness. Mathematical Structures in Computer Science 21(2): 383-416 (2011)
- [c19]
- 2010
- [j30]Luigi Santocanale, Yde Venema: Completeness for flat modal fixpoint logics. Ann. Pure Appl. Logic 162(1): 55-82 (2010)
- [j29]Alexander Kurz, Alessandra Palmigiano, Yde Venema: Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20(5): 985-990 (2010)
- [j28]Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema: Vietoris Bisimulations. J. Log. Comput. 20(5): 1017-1040 (2010)
- [c18]
- [c17]Luigi Santocanale, Yde Venema: Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic 2010: 350-370
- [c16]
- [c15]Gaëlle Fontaine, Raul Andres Leal, Yde Venema: Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) 2010: 381-392
- [i3]
2000 – 2009
- 2009
- [j27]
- [c14]
- 2008
- [j26]Clemens Kupke, Yde Venema: Coalgebraic Automata Theory: Basic Results. Logical Methods in Computer Science 4(4) (2008)
- [c13]Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21
- [c12]Clemens Kupke, Alexander Kurz, Yde Venema: Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217
- [c11]Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140
- [i2]
- [i1]Luigi Santocanale, Yde Venema: Completeness for Flat Modal Fixpoint Logics. CoRR abs/0812.2390 (2008)
- 2007
- [c10]
- [c9]
- [c8]
- 2006
- [j25]Yde Venema: Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. 204(4): 637-678 (2006)
- [c7]Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
- [e1]Guido Governatori, Ian M. Hodkinson, Yde Venema (Eds.): 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, ISBN 1-904987-20-6
- 2005
- [j24]Mai Gehrke, Hideo Nagahashi, Yde Venema: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131(1-3): 65-102 (2005)
- [c6]
- 2004
- [j23]Robert Goldblatt, Ian M. Hodkinson, Yde Venema: Erdös graphs resolve Fine's canonicity problem. Bulletin of Symbolic Logic 10(2): 186-208 (2004)
- [j22]Yde Venema: Automata and Fixed Point Logics for Coalgebras. Electr. Notes Theor. Comput. Sci. 106: 355-375 (2004)
- [j21]Yde Venema: A Dual Characterization of Subdirectly Irreducible BAOs. Studia Logica 77(1): 105-115 (2004)
- [j20]Clemens Kupke, Alexander Kurz, Yde Venema: Stone coalgebras. Theor. Comput. Sci. 327(1-2): 109-134 (2004)
- 2003
- [j19]Clemens Kupke, Alexander Kurz, Yde Venema: Stone Coalgebras. Electr. Notes Theor. Comput. Sci. 82(1): 170-190 (2003)
- [j18]George Goguadze, Carla Piazza, Yde Venema: Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003)
- [j17]
- [j16]
- 2002
- [j15]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
- [j14]Vera Stebletsova, Yde Venema: Undecidable Theories of Lyndon Algebras. J. Symb. Log. 66(1): 207-224 (2001)
- [j13]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)
1990 – 1999
- 1999
- [j12]Angelo Montanari, Alberto Policriti, Yde Venema: Editorial. Logic Journal of the IGPL 7(1): 5-6 (1999)
- [j11]Yde Venema: Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. J. Log. Comput. 9(5): 601-621 (1999)
- 1998
- [j10]
- [c5]
- [c4]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
- [c3]
- 1997
- [j9]Yde Venema: Editorial: Modal Logic and Dynamic Semantics. Journal of Logic, Language and Information 6(4): 357-360 (1997)
- [c2]
- 1996
- [j8]Yde Venema: Tree Models and (Labeled) Categorial Grammar. Journal of Logic, Language and Information 5(3/4): 253-277 (1996)
- 1995
- [j7]
- [j6]
- [j5]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
- [j4]Yde Venema: A Modal Logic for Quantification and Substitution. Logic Journal of the IGPL 2(1): 31-45 (1994)
- [c1]
- 1993
- [j3]
- 1991
- [j2]
- 1990
- [j1]Yde Venema: Expressiveness and Completeness of an Interval Tense Logic. Notre Dame Journal of Formal Logic 31(4): 529-547 (1990)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-05 22:13 CEST by the dblp team