Johannes Marti

32 papers A* 6B 6Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proof Systems for two-Way Modal
J. Symb. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
2024 A* conf
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.
LICS
Maximilian Pflueger, Johannes Marti, Egor V. Kostylev
2024 B conf
Frame Definability in Conditional Logic.
AiML
Damiano Fornasiere, Johannes Marti, Giovanni Varricchione
2024 A* conf
Monotone Rewritability and the Analysis of Queries, Views, and Rules.
KR
Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja
2024 J jnl
Monotone Rewritability and the Analysis of Queries, Views, and Rules.
CoRR
Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja
2023 J jnl
Choice structures in games.
Games Econ. Behav.
Paolo Galeazzi, Johannes Marti
2023 J jnl
Conditional Logic is Complete for convexity in the plane.
Rev. Symb. Log.
Johannes Marti
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
2022 A* conf
Size measures and alphabetic equivalence in the μ-calculus.
LICS
Clemens Kupke, Johannes Marti, Yde Venema
2022 B conf
Succinct Graph Representations of μ-Calculus Formulas.
CSL
Clemens Kupke, Johannes Marti, Yde Venema
2021 B conf
A Focus System for the Alternation-Free μ-Calculus.
TABLEAUX
Johannes Marti, Yde Venema
2021 J jnl
Focus-style proof systems and interpolation for the alternation-free μ-calculus.
CoRR
Johannes Marti, Yde Venema
2021 — conf
On the size of disjunctive formulas in the μ-calculus.
GandALF
Clemens Kupke, Johannes Marti, Yde Venema
2020 J jnl
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries.
Order
Johannes Marti, Riccardo Pinosio
2020 — conf
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).
Description Logics
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020 A* conf
A Journey into Ontology Approximation: From Non-Horn to Horn.
IJCAI
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020 J jnl
A Journey into Ontology Approximation: From Non-Horn to Horn.
CoRR
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
2020 J jnl
Conditional Logic is Complete for Convexity in the Plane.
CoRR
Johannes Marti
2020 J jnl
Query Expressibility and Verification in Ontology-Based Data Access.
CoRR
Carsten Lutz, Johannes Marti, Leif Sabellek
2020 J jnl
Size matters in the modal μ-calculus.
CoRR
Clemens Kupke, Johannes Marti, Yde Venema
2019 A* conf
Completeness for Game Logic.
LICS
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019 J jnl
Completeness for Game Logic.
CoRR
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2018 A* conf
Query Expressibility and Verification in Ontology-Based Data Access.
KR
Carsten Lutz, Johannes Marti, Leif Sabellek
2017 J jnl
Parity Games and Automata for Game Logic (Extended Version).
CoRR
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017 — conf
Parity Games and Automata for Game Logic.
DALI@TABLEAUX
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2016 J jnl
A Game Semantics for System P.
Stud Logica
Johannes Marti, Riccardo Pinosio
2015 J jnl
Lax extensions of coalgebra functors and their logic.
J. Comput. Syst. Sci.
Johannes Marti, Yde Venema
2015 B conf
Uniform Interpolation for Coalgebraic Fixpoint Logic.
CALCO
Johannes Marti, Fatemeh Seifan, Yde Venema
2015 J jnl
Uniform Interpolation for Coalgebraic Fixpoint Logic.
CoRR
Johannes Marti, Fatemeh Seifan, Yde Venema
2014 B conf
Similarity Orders from Causal Equations.
JELIA
Johannes Marti, Riccardo Pinosio
2012 — conf
Lax Extensions of Coalgebra Functors.
CMCS
Johannes Marti, Yde Venema