Johannes Kloibhofer

According to our database, Johannes Kloibhofer authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Interpolation for the two-way modal mu-calculus.

Johannes Kloibhofer, Yde Venema

CoRR, May, 2025

Interpolation for Converse PDL.

Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

Interpolation for the two-way modal μ-calculus.

Johannes Kloibhofer, Yde Venema

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.

Bahareh Afshari, Johannes Kloibhofer

CoRR, 2024

2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.

Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2021

A Fixed-point Theorem for Horn Formula Equations.

Stefan Hetzl, Johannes Kloibhofer

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract).

Stefan Hetzl, Johannes Kloibhofer

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021