| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema |
Foreword.  |
Studia Logica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema, Steve Vickers, Jacob Vosmaer |
Generalized powerlocales via relation lifting |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marta Bílková, Jiri Velebil, Yde Venema |
On monotone modalities and adjointness. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jort Bergfeld, Yde Venema |
Model Constructions for Moss' Coalgebraic Logic. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema |
Vietoris Bisimulations. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz, Alessandra Palmigiano, Yde Venema |
Coalgebra and Logic: A Brief Overview. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for flat modal fixpoint logics. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Yde Venema |
Flat coalgebraic fixed point logics |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Yde Venema |
Flat Coalgebraic Fixed Point Logics. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz, Yde Venema |
Coalgebraic Lindströom Theorems. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Uniform Interpolation for Monotone Modal Logic. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gaëlle Fontaine, Raul Andres Leal, Yde Venema |
Automata for Coalgebras: An Approach Using Predicate Liftings. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Algebraic and Coalgebraic Logic Corner. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Yde Venema |
Coalgebraic Automata Theory: Basic Results. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Clemens Kupke, Yde Venema |
Coalgebraic Automata Theory: Basic Results |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marta Bílková, Alessandra Palmigiano, Yde Venema |
Proof systems for the coalgebraic cover modality. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Clemens Kupke, Alexander Kurz, Yde Venema |
Completeness of the finitary Moss logic. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
A Modal Distributive Law (abstract). |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
| 1 | Alessandra Palmigiano, Yde Venema |
Nabla Algebras and Chu Spaces. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra |
| 1 | Yde Venema |
Automata and fixed point logic: A coalgebraic perspective. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
Definitorially Complete Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mai Gehrke, Hideo Nagahashi, Yde Venema |
A Sahlqvist theorem for distributive modal logic. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Yde Venema |
Closure Properties of Coalgebra Automata. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Alexander Kurz, Yde Venema |
Stone coalgebras. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
A Dual Characterization of Subdirectly Irreducible BAOs. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
Boolean algebras with operators, subdirect irreducibility, duality |
| 1 | Robert Goldblatt, Ian M. Hodkinson, Yde Venema |
Erdös graphs resolve Fine's canonicity problem. |
Bulletin of Symbolic Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
Automata and Fixed Point Logics for Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Representation of Game Algebras. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
game algebra, algebraic lattice expansion, game theory, representation theory |
| 1 | Yde Venema |
Atomless varieties. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Goguadze, Carla Piazza, Yde Venema |
Simulating polyadic modal logics by monadic ones. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Clemens Kupke, Alexander Kurz, Yde Venema |
Stone Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
update logics, knowledge-based systems, dynamics, Specification languages, inference control |
| 1 | Vera Stebletsova, Yde Venema |
Undecidable Theories of Lyndon Algebras. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Angelo Montanari, Alberto Policriti, Yde Venema |
Editorial. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Rectangular Games. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
Canonical Pseudo-Correspondence. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joeri Engelfriet, Yde Venema |
A Modal Logic of Information Change. |
TARK |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
Editorial: Modal Logic and Dynamic Semantics. |
Journal of Logic, Language and Information |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Stebletsova, Yde Venema |
Axioms for Jonsson's Q-Algebras. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
Tree Models and (Labeled) Categorial Grammar. |
Journal of Logic, Language and Information |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten de Rijke, Yde Venema |
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. |
Studia Logica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Meeting strength in substructural logics. |
Studia Logica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Cylindrical Modal Logic. |
J. Symb. Log. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
A Modal Logic for Quantification and Substitution. |
Logic Journal of the IGPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Completeness through Flatness in Two-Dimensional Temporal Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Derivation Rules as Anti-Axioms in Modal Logic. |
J. Symb. Log. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yde Venema |
A Modal Logic for Chopping Intervals. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Expressiveness and Completeness of an Interval Tense Logic. |
Notre Dame Journal of Formal Logic |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")