Lax Extensions of Coalgebra Functors. - Johannes Marti; Yde Venema (CMCS, 2012)

Similarity Orders from Causal Equations. - Johannes Marti; Riccardo Pinosio (JELIA, 2014)

Uniform Interpolation for Coalgebraic Fixpoint Logic. - Johannes Marti; Fatemeh Seifan; Yde Venema (CALCO, 2015)

Lax extensions of coalgebra functors and their logic. - Johannes Marti; Yde Venema (J. Comput. Syst. Sci., 2015)

A Game Semantics for System P. - Johannes Marti; Riccardo Pinosio (Stud Logica, 2016)

Parity Games and Automata for Game Logic. - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (DALI@TABLEAUX, 2017)

Parity Games and Automata for Game Logic (Extended Version). - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (CoRR, 2017)

Query Expressibility and Verification in Ontology-Based Data Access. - Carsten Lutz; Johannes Marti; Leif Sabellek (KR, 2018)

Completeness for Game Logic. - Sebastian Enqvist; Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2019)

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (Description Logics, 2020)

A Journey into Ontology Approximation: From Non-Horn to Horn. - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (IJCAI, 2020)

Size matters in the modal μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (CoRR, 2020)

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries. - Johannes Marti; Riccardo Pinosio (Order, 2020)

A Focus System for the Alternation-Free μ-Calculus. - Johannes Marti; Yde Venema (TABLEAUX, 2021)

Focus-style proof systems and interpolation for the alternation-free μ-calculus. - Johannes Marti; Yde Venema (CoRR, 2021)

On the size of disjunctive formulas in the μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (GandALF, 2021)

Succinct Graph Representations of μ-Calculus Formulas. - Clemens Kupke; Johannes Marti; Yde Venema (CSL, 2022)

Size measures and alphabetic equivalence in the μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2022)

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. - Maurice Dekker; Johannes Kloibhofer; Johannes Marti; Yde Venema (TABLEAUX, 2023)

Choice structures in games. - Paolo Galeazzi; Johannes Marti (Games Econ. Behav., 2023)

Conditional Logic is Complete for convexity in the plane. - Johannes Marti (Rev. Symb. Log., 2023)

Frame Definability in Conditional Logic. - Damiano Fornasiere; Johannes Marti; Giovanni Varricchione (AiML, 2024)

Monotone Rewritability and the Analysis of Queries, Views, and Rules. - Michael Benedikt; Stanislav Kikot; Johannes Marti; Piotr Ostropolski-Nalewaja (KR, 2024)

A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. - Maximilian Pflueger; Johannes Marti; Egor V. Kostylev (LICS, 2024)