Recent work
(All papers are available in pdf format, unless stated otherwise.)
Preprints
Submitted
Accepted for publication
Published
-
F. Carreiro, A. Facchini, Y. Venema and F. Zanasi,
Model Theory of Monadic Predicate Logic with the Infinity
Quantifier,
Archive for Mathematical Logic,
doi 10.1007/s00153-021-00797-0.
-
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.
-
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.