The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yde Venema: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vera Stebletsova, Yde Venema
    Axioms for Jonsson's Q-Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:215-224 [Conf]
  2. Yde Venema
    Canonical Pseudo-Correspondence. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:421-430 [Conf]
  3. 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]
  4. Yde Venema
    Completeness through Flatness in Two-Dimensional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:149-164 [Conf]
  5. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
    Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:79-89 [Conf]
  6. Clemens Kupke, Yde Venema
    Closure Properties of Coalgebra Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:199-208 [Conf]
  7. Joeri Engelfriet, Yde Venema
    A Modal Logic of Information Change. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:125-131 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Yde Venema
    Atomless varieties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:2, pp:607-614 [Journal]
  19. 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]
  20. Yde Venema
    Cylindrical Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:2, pp:591-623 [Journal]
  21. Yde Venema
    Rectangular Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1549-1564 [Journal]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Yde Venema
    Representation of Game Algebras. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:2, pp:239-256 [Journal]
  27. 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]
  28. Yde Venema
    Meeting strength in substructural logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:54, n:1, pp:3-32 [Journal]
  29. 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]
  30. 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]
  31. 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]
  32. Alessandra Palmigiano, Yde Venema
    Nabla Algebras and Chu Spaces. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:394-408 [Conf]
  33. Luigi Santocanale, Yde Venema
    Completeness for Flat Modal Fixpoint Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:499-513 [Conf]
  34. Yde Venema
    A Modal Distributive Law (abstract). [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:351- [Conf]

  35. Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP]


  36. Proof systems for the coalgebraic cover modality. [Citation Graph (, )][DBLP]


  37. Complementation of Coalgebra Automata. [Citation Graph (, )][DBLP]


  38. Flat Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP]


  39. Automata for Coalgebras: An Approach Using Predicate Liftings. [Citation Graph (, )][DBLP]


  40. Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]


  41. Coalgebraic Automata Theory: Basic Results [Citation Graph (, )][DBLP]


  42. Completeness for Flat Modal Fixpoint Logics [Citation Graph (, )][DBLP]


  43. Flat coalgebraic fixed point logics [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002