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

• B. Afshari, S. Enqvist, G. Leigh, J. Marti and Y. Venema, Proof Systems for Two-way Modal mu-Calculus, Journal of Symbolic Logic, to appear.

Published

• 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.

• 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, 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.

• 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, doi 10.1007/s00153-021-00797-0.