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.
2023
-
M. Dekker, J. Kloibhofer, J. Marti, and Y. Venema,
Proof systems for the
modal μ-calculus obtained by determinizing automata
in: Proceedings of the 32th International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods (TABLEAUX 2023),
LNAI 14278 (2023) pp 242 - 259, 2023.
doi 10.1007/978-3-031-43513-3_14.
-
J. Rooduijn and Y. Venema,
Focus-style proofs for the
two-way alternation-free μ-calculus
in: Proceedings of the 29th International Workshop on Logic, Language,
Information and Computation (WoLLIC 2023),
LNCS 13923, pp 318 - 335, 2023.
doi 10.48550/arXiv.2307.01773.
2022
- C. Kupke, J. Marti and Y. Venema,
Succinct graph
representations of μ-calculus formulas,
in: Proceeings of the 30th EACSL Annual Conference on Computer
Science Logic (CSL 2022), pp 29:1-29:18, 2023.
doi 10.4230/LIPIcs.CSL.2022.29.
-
N. Bezhanishvili, J. de Groot and Y. Venema,
Coalgebraic Geometric
Logic: Basic Theory,
Logical Methods in Computer Science 18(4) (2022),
doi 10.46298/LMCS-18(4:10)2022.
-
C. Kupke, J. Marti and Y. Venema,
Size measures and
alphabetic equivalence in the μ-calculus,
in: Proceedings 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science (LICS 2022), pp 18:1 - 18:13
doi 10.1145/3531130.3533339.
-
F. Carreiro, A. Facchini, Y. Venema and F. Zanasi,
Model Theory of Monadic Predicate Logic with the Infinity
Quantifier,
Archive for Mathematical Logic 61(3-4): pp 465-502, (2022).
doi 10.1007/s00153-021-00797-0.
2021
-
J. Rooduijn and Y. Venema,
Filtration and
canonical completeness for continuous modal mu-calculi,
in: Proceedings 12th International Symposium on
Games, Automata, Logics, and Formal Verification (Gandalf 2021),
PTCS 346 (2021) pp 221 - 226
-
C. Kupke, J. Marti and Y. Venema,
On the size of
disjunctive formulas in the μ-calculus,
in: Proceedings 12th International Symposium on
Games, Automata, Logics, and Formal Verification (Gandalf 2021),
PTCS 346 (2021) pp 291 - 307
-
J. Marti and Y. Venema,
A Focus System for the
Alternation-Free μ-calculus,
in: Proceedings of the 30th International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods (TABLEAUX 2021),
LNAI 12842 (2021) pp 371 - 388, 2021.
-
I. Bellas Acosta and Y. Venema,
Counting to infinity:
graded modal logic with an infinity diamond,
in: The Review of Symbolic Logic, 2021.
2020
-
F. Carreiro, A. Facchini, Y. Venema and F. Zanasi,
The power of the
weak,
in: ACM Transactions on Computational Logic
21(2) (2020) pp 15:1 - 15:47.
2019
- S. Enqvist, F. Seifan and Y. Venema
Completeness for
μ-calculi: a coalgebraic approach,
in: Annals of Pure and Applied Logic, 170 (2019) pp 578-641.
- G. Bezhanishvili, N. Bezhanishvili, T. Santoli and Y. Venema:
A strict implication
calculus for compact Hausdorff spaces,
in: Annals of Pure and Applied Logic, 170 (2019) 102714
- S. Enqvist and Y. Venema
Disjunctive bases:
normal forms and model theory for modal logics,
Logical Methods in Computer Science,
15(1), 2019.
- N. Bezhanishvili, J. de Groot and Y. Venema:
Coalgebraic Geometric
Logic,
in: M. Roggenbach and A. Sokolova (eds.)
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer
Science (CALCO 2019).
LIPIcs 139, pp 7:1-7:18
- V. Ciancia and Y. Venema:
Omega-Automata:
A Coalgebraic Perspective on Regular omega-Languages,
in: M. Roggenbach and A. Sokolova (eds.)
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer
Science (CALCO 2019).
LIPIcs 139, pp 5:1-5:18
- G. C. Milanese and Y. Venema:
Closure Ordinals
of the Two-Way Modal μ-Calculus,
in: R. Iemhoff, M. Moortgat and R. de Queiroz (eds.)
Proceedings of the 26th International Workshop on Logic, Language,
Information, and Computation (WoLLIC 2019).
LNCS 11541, pp 498-515.
- S. Enqvist, H. H. Hansen, C. Kupke, J. Marti and Yde Venema,
Completeness for Game Logic.
34th Annual ACM/IEEE Symposium on Logic in Computer Science, (LICS
2019).
Here is a
link to the corresponding ArXiv preprint.
2018
-
S. Enqvist, F. Seifan and Y. Venema,
Completeness for the
modal mu-calculus: separating the combinatorics from the dynamics,
Theoretical Computer Science, 727 (2018) pp: 37 - 100.
- L Schröder, Yde Venema.
Completeness of Flat
Coalgebraic Fixpoint Logics,
ACM Transactions in Computational Logic 19(1): 4:1-4:34 (2018)
-
G. Fontaine and Y. Venema,
Some model theory for the modal mu-calculus:
syntactic characterisations of semantic properties,
Logical Methods in Computer Science, 14(1), 2018.
(doi: 10.23638/LMCS-14(1:14)2018)
2017
-
S. Enqvist, F. Seifan and Y. Venema,
An expressive
completeness theorem for coalgebraic modal mu-calculi,
Logical Methods in Computer Science, 13(2), 2017.
(doi: 10.23638/LMCS-13(2:14)2017)
- H.H. Hansen, C. Kupke, J. Marti, Y. Venema:
Parity Games and
Automata for Game Logic,
in: A. Madeira and M. Benevides (eds.),
Dynamic Logic. New Trends and Applications - First International Workshop,
(DALI 2017),
LNCS 10669, pp 115-132.
- S. Enqvist, Y. Venema:
Disjunctive Bases:
Normal Forms for Modal Logics,
in: F. Bonchi and B. König (eds.),
7th Conference on Algebra and Coalgebra in Computer Science (CALCO
2017),
pp 11:1-11:16.
-
G. Bezhanishvili, N. Bezhanishvili, S. Sourabh and Y. Venema,
Irreducible Equivalence
Relations, Gleason Spaces, and de Vries Duality,
Applied Categorical Structures 25 (2017) pp 381-401.
(doi: 10.1007/s10485-016-9434-2).
2016
-
S. Enqvist, F. Seifan and Y. Venema,
Completeness for
coalgebraic fixpoint logic,
Proceedings of the 25th EACSL Annual Conference on Computer Science
Logic (CSL 2016),
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 62,
pp. 17:1 - 17:9, 2016.
2015
-
J. Marti and Y. Venema,
Lax extensions of coalgebra functors and their logic,
Journal of Computer and System Sciences, 81(5) (2015)
pp. 880-900.
- J. Marti, F. Seifan and Y. Venema,
Uniform Interpolation for Coalgebraic Fixpoint Logic,
in: L. Moss and P. Sobocinski (eds.),
6th International Conference on Algebra and Coalgebra in Computer Science
(CALCO 2015), pp. 238-252.
- S. Enqvist, F. Seifan and Y. Venema,
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras,
30th Annual ACM/IEEE Symposium on Logic in Computer Science, (LICS
2015), pp. 353--365.
2014
-
M. Bílková, A. Palmigiano and Y. Venema,
Proof systems for Moss' coalgebraic logic,
Theoretical Computer Science, 549 (2014) pp. 36-60.
-
F. Carreiro, A. Facchini, Y. Venema and F. Zanasi,
Weak MSO: Automata
and Expressiveness Modulo Bisimilarity,
CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third
EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
2014:27.
-
F. Carreiro and Y. Venema,
PDL inside the
$\mu$-calculus: a syntactic and an automata-theoretic characterization,
in: R. Goré et alii (eds.), Advances in Modal Logic, Volume 10
College Publications, 2014, pp. 74-93.
-
Y. Venema,
Expressiveness modulo
bisimilarity: a coalgebraic perspective,
in: A. Baltag and S. Smets (eds.), Johan van Benthem on Logic and
Information Dynamics,
Outstanding Contributions Series 5, Springer, 2014, pp. 33-65.
-
Y. Venema and J. Vosmaer,
Modal logic and the
Vietoris functor,
in: G. Bezhanishvili (ed.), Leo Esakia on Duality in Modal and
Intuitionistic Logics,
Outstanding Contributions Series 4, Springer, 2014, pp. 119-153.
2013
-
A. Facchini, Y. Venema and F. Zanasi,
A characterization
theorem for the alternation-free fragment of the modal mu-calculus,
Proceedings of the 28th IEEE Symposium on Logic in Computer
Science (LICS 2013), 478-487.
-
Y. Venema, S. Vickers and J. Vosmaer,
Generalized
powerlocales via relation lifting,
Mathematical Structures in Computer Science 23(1)
(2013) pp. 142-199..
-
Y. Venema,
Cylindric Modal
Logic,
in
H. Andréka, M. Ferenczi and I. Németi (eds.),
Cylindric-like Algebras and Algebraic Logic,
Bolyai Society Mathematical Studies, Vol. 22, Springer, 2013, 249-269.
2012
-
C. Kupke, A. Kurz and Y. Venema,
Completeness
for the coalgebraic cover modality,
Logical Methods in Computer Science 8(3), 2012.
-
V. Ciancia and Y. Venema,
Stream Automata Are
Coalgebras,
in
D. Pattinson and L. Schröder (eds.),
Coalgebraic Methods in Computer Science - 11th International Workshop (CMCS 2012),
LNCS 7399, Springer, 2012, pp. 90-108.
-
J. Marti and Y. Venema,
Lax Extensions of
Coalgebra Functors,
in
D. Pattinson and L. Schröder (eds.),
Coalgebraic Methods in Computer Science - 11th International Workshop (CMCS 2012),
LNCS 7399, Springer, 2012, pp. 150-169.
2011
-
J. Bergfeld and Y. Venema,
Model Constructions
for Moss' Coalgebraic Logic,
in: A. Corradini et alii (eds.),
Algebra and Coalgebra in Computer Science (CALCO 2011),
LNCS 6859, Springer, 2011, pp.~100-114.
- M. Bílková, J. Velebil and Y. Venema,
On Monotone Modalities
and Adjointness,
Mathematical Structures in Computer Science, 21 (2011), 383-416.
C Cirstea, A Kurz, D Pattinson, L Schröder and Y Venema,
Modal Logics are
Coalgebraic,
The Computer Journal, 54 (2011) 31-41.
2010
-
L Schröder and Y Venema;
Flat coalgebraic
fixed point logics,
in P Gastin, F Laroussinie (eds.),
Proceedings of 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 (with appendix),
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.
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
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
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
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.)