Johannes Kloibhofer

According to our database, Johannes Kloibhofer authored at least 5 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

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