Johannes Kloibhofer

11 papers A* 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
An abstract fixed-point theorem for Horn formula equations.
CoRR
Stefan Hetzl, Johannes Kloibhofer
2025 J jnl
Cut-elimination for the alternation-free modal mu-calculus.
CoRR
Bahareh Afshari, Johannes Kloibhofer
2025 B conf
Interpolation for Converse PDL.
TABLEAUX
Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
2025 J jnl
Interpolation for Converse PDL.
CoRR
Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
2025 J jnl
Interpolation for the two-way modal mu-calculus.
CoRR
Johannes Kloibhofer, Yde Venema
2025 A* conf
Interpolation for the two-way modal μ-calculus.
LICS
Johannes Kloibhofer, Yde Venema
2024 — conf
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
FICS@CSL
Bahareh Afshari, Johannes Kloibhofer
2023 B conf
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.
TABLEAUX
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
2023 J jnl
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.
CoRR
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
2021 — conf
A Fixed-point Theorem for Horn Formula Equations.
HCVS@ETAPS
Stefan Hetzl, Johannes Kloibhofer
2021 — conf
An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract).
SOQE@KR
Stefan Hetzl, Johannes Kloibhofer