Recent work
(All papers are available in pdf format, unless stated otherwise.)
Preprints

G. Bezhanishvili, N. Bezhanishvili, T. Santoli and Y. Venema,
A simple
propositional calculus for compact Hausdorff spaces
ILLC Prepublication Series PP201706.

S. Enqvist and Y. Venema,
Disjunctive
bases: normal forms for modal logics,
ILLC Prepublication Series PP201705.

S. Enqvist, F. Seifan and Y. Venema,
Completeness for
modal mucalculi: a coalgebraic approach,
ILLC Prepublication Series PP201704.

G. Fontaine and Y. Venema,
Some model theory for the modal mucalculus:
syntactic characterisations of semantic properties,
ILLC Prepublication Series PP201639.

S. Enqvist, F. Seifan and Y. Venema,
Completeness for the
modal mucalculus: separating the combinatorics from the dynamics,
ILLC Prepublication Series PP201633 (version: December
2016).
Submitted
Accepted for publication
Published

G. Bezhanishvili, N. Bezhanishvili, S. Sourabh and Y. Venema,
Irreducible Equivalence
Relations, Gleason Spaces, and de Vries Duality,
Applied Categorical Structures 25 (2017) pp 381401.
(doi: 10.1007/s1048501694342).

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  LeibnizZentrum fuer Informatik, LIPIcs 62,
pp. 17:1  17:9, 2016.