Publications

Refereed papers and book chapters

All papers below are available in pdf format, unless indicated otherwise.
The versions posted here may not be exactly the same as the ones published.
You can always mail me for an offprint or xerox copy of the official publication.

More recent, unpublished work, can be found here.

2011

Modal Logics are Coalgebraic

The Computer Journal

2010

L Schröder and Y Venema; Flat coalgebraic fixed point logics, in P Gastin, F Laroussinie (eds.), 21st International Conference on Concurrency Theory (CONCUR 2010), LNCS 6269, Springer, 2010, pp 524-538.
G. Fontaine, R. Leal and Y. Venema; Automata for Coalgebras: an approach using predicate liftings,
Proceedings of ICALP 2010, LNCS 6199, Springer, 2010, pp 381-392.
A Kurz and Y Venema, Coalgebraic Lindström Theorems,
in: L. Beklemishev et alii (eds.), Advances in Modal Logic, Volume 8, College Publications, 2010, pp 292-309.
L Santocanale and Y Venema, Uniform interpolation for monotone modal logic,
in: L. Beklemishev et alii (eds.), Advances in Modal Logic, Volume 8, College Publications, 2010, pp 350-370.
N. Bezhanishvili, G. Fontaine and Y. Venema; Vietoris bisimulations ,
Journal of Logic and Computation 20 (2010) 1017-1040.
L. Olde Loohuis and Y. Venema; Logics and algebras for multiple players,
The Review of Symbolic Logic, 3 (2010) 485-519.
L. Santocanale and Y. Venema; Completeness for flat modal fixpoint logics,
Annals of Pure and Applied Logic, 162 (2010) 55 - 82, doi: 10.1016/j.apal.2010.07.003.
(Look here or mail me for a pdf of the final version).

2009

C. Kissig and Y. Venema, Complementation of Coalgebra Automata,
in: A. Kurz et alii (eds.), Algebra and Coalgebra in Computer Science (CALCO 2009), LNCS 5728, Springer, 2009, pp. 81-96.
C. Cirstea, A. Kurz, D. Pattinson, L. Schröder and Y. Venema, Modal Logics are Coalgebraic,
The Computer Journal, 2009, (doi: 10.1093/comjnl/bxp004).

2008

M. Bílková, A. Palmigiano and Y. Venema, Proof systems for the coalgebraic cover modality,
in: C. Areces and R. Goldblatt (eds.), Advances in Modal Logic, Volume 7, College Publications, 2008, pp. 1-21.
C. Kupke, A. Kurz and Y. Venema, Completeness of the finitary Moss logic,
in: C. Areces and R. Goldblatt (eds.), Advances in Modal Logic, Volume 7, College Publications, 2008, pp. 193-217.
C Kupke and Y Venema; Coalgebraic automata theory: basic results,
Logical Methods in Computer Science, 4(4), 2008.
T. Tulenheimo and Y. Venema, Propositional logics for three,
in: C. Dégremont, L. Keiff and H. Rückert (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, 2008, pp. 399Ð429.

2007

M Theunissen and Y Venema;
Macneille completions of lattice expansions, Algebra Universalis 57 (2007), pp 143-193.
L Santocanale and Y Venema;
Completeness for flat modal fixpoint logics (extended abstract),
Proceedings of the 14th International Conference on Logic for Programming, Artificial Intel ligence, and Reasoning (LPAR 2007),
LNCS 4790, Springer-Verlag, 2007, pp. 499-513.
A Palmigiano and Y Venema;
Nabla algebras and Chu spaces,
Algebra and Coalgebra in Computer Science (CALCO 2007),
LNCS 4624, Springer-Verlag, 2007, pp. 394Ð408.

2006

Y Venema;
Algebras and Coalgebras,
in: J van Benthem, P Blackburn and F Wolter (editors), Handbook of Modal Logic,
Elsevier, Amsterdam, 2006, pp 331-426.
Y Venema;
Automata and Fixed Point Logics: a Coalgebraic Perspective;
Information and Computation, 204 (2006) 637-678.
M Gehrke, J Harding and Y Venema; MacNeille completions and canonical extensions.
Transactions of the American Mathematical Society, 358 (2006) 573-590.
B ten Cate, W Conradie, M Marx and Y Venema;
Definitorially complete description logics,
in P Doherty, J Mylopoulos and C Welty (editors), Proceedings of KR 2006, AAAI Press, pp 79--89.

2005

C Kupke and Y Venema;
Closure Properties of Coalgebra Automata.
Proceedings of the Twentieth IEEE Symposium on Logic in Computer Science (LICS 2005), 199-208.
I Hodkinson and Y Venema; Canonical varieties with no canonical axiomatisation.
Transactions of the American Mathematical Society, 357 (2005) 4579-4605.
M Gehrke, H Nagahashi and Y Venema.
A Sahlqvist theorem for distributive modal logic.
Annals of Pure and Applied Logic, 131 (2005) 65-102.

2004

Y Venema.
Automata and Fixed Point Logics for Coalgebras,
Electronic Notes in Theoretical Computer Science, 106 (2004) 355-375.
C Kupke, A Kurz and Y Venema. Stone coalgebras,
Theoretical Computer Science 327 (2004) 109--134.
For the extended (report) version, click here.
R Goldblatt, I Hodkinson and Y Venema. Erdos graphs resolve Fine's canonicity problem,
Bulletin of Symbolic Logic, 10 (2004) 186-208.
Y Venema. A dual characterization of subdirectly irreducible BAOs",
Studia Logica, 77 (2004) 105--115.

2003

R Goldblatt, I Hodkinson and Y Venema. On canonical modal logics that are not elementarily generated,
Logique et Analyse, 181 (2003) 77-101.
Y Venema. Representation of game algebras,
Studia Logica, 75 (2003) 239-257.
Y Venema. Atomless varieties,
Journal of Symbolic Logic 68 (2003) 607-614.
G Goguadze, C Piazza and Y Venema. Simulating polyadic modal logics by monadic ones,
Journal of Symbolic Logic 68 (2003) 419--462.

2001

Y Venema, Temporal Logic,
in: L Goble (editor), The Blackwell Guide to Philosophical Logic,
Blackwell Publishers, Malden, USA, 2001, pp 203 - 223.
V Stebletsova and Y Venema. Undecidable theories of Lyndon algebras,
Journal of Symbolic Logic, 66 (2001) 207--224.
P van Eck, J Engelfriet, D Fensel, F van Harmelen, Y Venema and M Willems. A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Transactions on Knowledge and Data Engineering 13 (2001) 462--496.
I Hodkinson, Sz Mikulás and Y Venema Axiomatizing complex algebras by games,
Algebra Universalis, 46 (2001) 455--478.
Y Venema. Canonical Pseudo-Correspondence,
in: M. Zakharyaschev et alii (editors), Advances in Modal Logic, Volume 2,
CSLI Publications, Stanford, 2001, pp 421--430.

2000

Y Venema. Ultrafilter unions: an exercise in modal definability,
in: A Nepomuceno et alii (editors), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language,
Instituto de Lógica, Lenguaje y Información, Universidad de Sevilla, Sevilla, 2000, pp 303--310.

1999

Y Venema Modal definability, purely modal, in: J Gerbrandy et alii (editors),
JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
Amsterdam University Press, Vossius Pers, Amsterdam, 1999 (cd-rom).
Y Venema. Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes,
Journal of Logic and Computation, 9 (1999) 601--621.
S Givant and Y Venema. The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators,
Algebra Universalis 41 (1999) 47--84.
Y Venema and M Marx. A modal logic of relations,
in: E Orlowska (editor), Logic at Work. Essays Dedicated to the Memory of Elena Rasiowa,
Physica-Verlag, Heidelberg, 1999, pp 124--167.

1998

Y Venema. Rectangular Games.
Journal of Symbolic Logic, 63 (1998) 1549--1564.
V Stebletsova and Y Venema. Q-algebras,
Algebra Universalis, 40 (1998) 19--49.
J Engelfriet and Y Venema. A modal logic of information change, in: I Gilboa (editor),
Proceedings of the Seventh Conference on Rationality and Knowledge (TARK7),
Morgan Kaufmann, 1998, pp 125--131.
P van Eck, J Engelfriet, D Fensel, F van Harmelen, Y Venema and M Willems.
Specification of dynamics for knowledge-based systems (extended abstract),
in: B Freitag et alii (editors), Transactions and Change in Logic Databases,LNCS 1472,
Springer-Verlag, Berlin, 1998, pp 37--68.

1997

Y Venema. Atom structures and Sahlqvist equations,
Algebra Universalis 38 (1997) 185--199.
Y Venema, Atom structures
in: M Kracht et alii (editors), Advances in Modal Logic, Volume 1,
CSLI Publications, Stanford, 1997, pp 291--305.
P Blackburn, M de Rijke and Y Venema, Relational methods in Logic, Language and Information,
in: C Brink, W Kahl and G Schmidt (editors), Relational Methods in Computer Science,
Springer Verlag, Wien New York, 1997, pp 211--225.

1996

Y Venema. Tree models and (labeled) categorial grammar,
Journal of Logic, Language and Information 5 (1996) 253--277.
Y Venema. A crash course in arrow logic,
in: M Marx, L Pólos and M Masuch (editors), Arrow Logic and Multi-Modal Logic,
Studies in Logic, Language and Information, CSLI Publications, Stanford (1996) 3--34.
Y Venema. A modal logic of substitution and quantification,
in: L Czirmaz, D Gabbay and M de Rijke (editors), Logic Colloquium '92,
CSLI Publications, Stanford, 1996, pp 293--309.

1995

P Blackburn and Y Venema. Dynamic squares,
Journal of Philosophical Logic, 24 (1995) 469--523.
M de Rijke and Y Venema. Sahlqvist's theorem for Boolean Algebras with Operators,
Studia Logica, 54 (1995) 61--78.
Y Venema. Meeting strength in substructural logics.
Studia Logica 54 (1995) 3--22.
Y Venema. Cylindric modal logic.
Journal of Symbolic Logic 60 (1995) 591--623.
Y Venema. Meeting a modality? Restricted permutation for the Lambek calculus".
in: L. Pólós and M. Masuch (editors), Applied Logic: How, What and Why,
Kluwer, Dordrecht, 1995, pp. 343--362

1994

Y Venema. Tree models and (labeled) categorial grammar,
in: P Dekker and M Stokhof (editors), Proceedings of the 9th Amsterdam Colloquium,
Institute for Logic, Language and Information, Amsterdam, 1994, pp 703--722.
Y Venema. Completeness through flatness,
in: D Gabbay and HJ Ohlbach (editors), Temporal Logic, First International Conference, ICTL'94,
LNCS 827, Springer, Berlin, pp. 149--164.

1993

Y Venema. Completeness by completeness: Since and Until,
in: M de Rijke (editor), Diamonds and Defaults,
Synthese Library Vol.~229, Kluwer Academic Publishers, Dordrecht, 1993, 349--358.
Y Venema. Derivation rules as anti-axioms in modal logic.
Journal of Symbolic Logic 58 (1993) 1003--1034.

1992

Y Venema. A note on the tense logic of dominoes,
Journal of Philosophical Logic 21 (1992) 173 -- 182. (Mail me for an offprint.)

1991

Y Venema. Relational games,
in:H Andréka, J D Monk and I Németi (editors),
Algebraic Logic; Proceedings of the 1988 Budapest Conference on Algebraic Logic,
North-Holland, Amsterdam, 1991, 695 -- 718.
Y Venema. A modal logic for chopping intervals,
Journal of Logic and Computation 1 (1991) 453--476.

1990

Y Venema. Expressiveness and completeness of an interval tense logic.
Notre Dame Journal of Formal Logic 31 (1990) 529--547.
(Mail me for an offprint.)