Johannes Marti

According to our database, Johannes Marti authored at least 21 papers between 2012 and 2023.

Collaborative distances:

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

2023

Conditional Logic is Complete for convexity in the plane.

Johannes Marti

Rev. Symb. Log., June, 2023

Choice structures in games.

Paolo Galeazzi, Johannes Marti

Games Econ. Behav., 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

2022

Size measures and alphabetic equivalence in the μ-calculus.

Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Succinct Graph Representations of μ-Calculus Formulas.

Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

On the size of disjunctive formulas in the μ-calculus.

Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Focus-style proof systems and interpolation for the alternation-free μ-calculus.

Johannes Marti, Yde Venema

CoRR, 2021

A Focus System for the Alternation-Free μ-Calculus.

Johannes Marti, Yde Venema

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

2020

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries.

Johannes Marti, Riccardo Pinosio

Order, 2020

Size matters in the modal μ-calculus.

Clemens Kupke, Johannes Marti, Yde Venema

CoRR, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn.

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Completeness for Game Logic.

Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Query Expressibility and Verification in Ontology-Based Data Access.

Carsten Lutz, Johannes Marti, Leif Sabellek

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Parity Games and Automata for Game Logic (Extended Version).

Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

CoRR, 2017

Parity Games and Automata for Game Logic.

Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2016

A Game Semantics for System P.

Johannes Marti, Riccardo Pinosio

Stud Logica, 2016

2015

Lax extensions of coalgebra functors and their logic.

Johannes Marti, Yde Venema

J. Comput. Syst. Sci., 2015

Uniform Interpolation for Coalgebraic Fixpoint Logic.

Johannes Marti, Fatemeh Seifan, Yde Venema

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Similarity Orders from Causal Equations.

Johannes Marti, Riccardo Pinosio

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2012

Lax Extensions of Coalgebra Functors.

Johannes Marti, Yde Venema

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012