Recent work

Preprints

• J. Marti and Y. Venema, Focus-style proof systems and interpolation for the alternation-free μ-calculus.
  arXiv:2103.01671 (2021).

• C. Kupke, J. Marti and Y. Venema, Size matters in the modal μ-calculus.
  arXiv:2010.14430 (2020).

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.