An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). - Stefan Hetzl; Johannes Kloibhofer (SOQE@KR, 2021)

A Fixed-point Theorem for Horn Formula Equations. - Stefan Hetzl; Johannes Kloibhofer (HCVS@ETAPS, 2021)

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. - Maurice Dekker; Johannes Kloibhofer; Johannes Marti; Yde Venema (TABLEAUX, 2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic. - Bahareh Afshari; Johannes Kloibhofer (CoRR, 2024)

Interpolation for the two-way modal mu-calculus. - Johannes Kloibhofer; Yde Venema (CoRR, 2025)