Johannes Marti

Orcid: 0009-0008-3193-0450

According to our database1, Johannes Marti authored at least 24 papers between 2012 and 2024.

Collaborative distances:

Timeline

2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
2
1
1
1
3
1
2
2
2
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Monotone Rewritability and the Analysis of Queries, Views, and Rules.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Frame Definability in Conditional Logic.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023
Conditional Logic is Complete for convexity in the plane.
Rev. Symb. Log., June, 2023

Choice structures in games.
Games Econ. Behav., 2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
Size measures and alphabetic equivalence in the μ-calculus.
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.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021
On the size of disjunctive formulas in the μ-calculus.
Proceedings of the Proceedings 12th International Symposium on Games, 2021

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

A Focus System for the Alternation-Free μ-Calculus.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries.
Order, 2020

Size matters in the modal μ-calculus.
CoRR, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).
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.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
Query Expressibility and Verification in Ontology-Based Data Access.
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).
CoRR, 2017

Parity Games and Automata for Game Logic.
Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2016
A Game Semantics for System P.
Stud Logica, 2016

2015
Lax extensions of coalgebra functors and their logic.
J. Comput. Syst. Sci., 2015

Uniform Interpolation for Coalgebraic Fixpoint Logic.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
Similarity Orders from Causal Equations.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2012
Lax Extensions of Coalgebra Functors.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012


  Loading...