Johannes Marti
Publications
On modal fixpoint logics:
- A Characterisatoion Theorem for Two-Way
Bisimulation-Invariant Monadic Least Fixpont Logic Over Finite
Structures (doi),
with M.
Pflüger and E. V.
Kostylev, at LICS
2024.
- Proof Systems for the Modal mu-Calculus Obtained by
Determinizing Automata (arXiv, doi),
with M.
Dekker,
J. Kloibhofer and Y. Venema, at TABLEAUX
2023.
- Proof Systems for two-way Modal mu-Calculus (preprint,
doi),
with A.
Afshari, S.
Enqvist, G. E.
Leigh and Y.
Venema, in The Journal of Symbolic Logic,
2023.
- Size Measures and Alphabetic Equivalence in the mu-Calculus
(preprint,
doi),
with C. Kupke
and Y. Venema,
at LICS
2022.
- Succinct Graph Representations of mu-Calculus Formulas
(preprint, doi),
with C. Kupke
and Y. Venema,
at CSL
2022.
- A Focus System for the Alternation-Free mu-Calculus
(preprint, doi),
with Y.
Venema, at TABLEAUX
2021.
- Focus-Style Proof Systems and Interpolation for the
Alternation-Free mu-Calculus (arXiv),
with Y.
Venema.
- On the Size of Disjunctive Formulas in the mu-Calculus
(arXiv),
with C. Kupke
and Y. Venema,
at GandALF 2021.
- Size Matters in the Modal mu-Calculus (arXiv),
with C. Kupke
and Y.
Venema.
- Completeness for Game Logic (preprint),
with S. Enqvist,
H. H.
Hansen, C. Kupke
and Y. Venema,
at LICS
2019.
- Parity Games and Automata for Game Logic (preprint,
doi),
with H. H.
Hansen, C. Kupke
and Y. Venema,
at DALI 2017.
This
extended version includes all the proofs.
On coalgebraic modal logic, partially based on my MSc
thesis:
- Uniform Interpolation for Coalgebraic Fixpoint Logic
(preprint,
doi),
with F. Seifan
and Y. Venema,
at CALCO 2015.
- Lax Extensions of Coalgebra Functors and Their Logic
(preprint,
doi),
with Y.
Venema, in the Journal of Computer and System
Sciences, 2015.
This paper is an extended version of the earlier:
- Lax Extensions of Coalgebra Functors (preprint,
doi),
with Y.
Venema, at CMCS
2012.
On unification in modal logic:
On description logic:
On nonmonotonic and conditional logic:
- Frame Definability in Conditional Logic (preprint),
with D. Fornasiere and G. Varricchione, accepted to AiML 2024.
- Conditional Logic is Complete for Convexity in the Plane
(arXiv, doi),
in The Review of Symbolic Logic, 2021.
- A Discrete Duality Between Nonmonotonic Consequence
Relations and Convex Geometries (preprint,
doi),
with R.
Pinosio, in Order, 2020.
- A Game Semantics for System P (preprint,
doi),
with R.
Pinosio, in Studia Logica, 2016.
This extended
version of the paper contains additional proofs.
- Similarity Orders from Causal Equations (preprint,
doi),
with R.
Pinosio, at JELIA
2014.
- Topological Semantics for Conditionals (preprint),
with R.
Pinosio, at LOGICA 2013.
On epistemic game theory:
- Choice Structures in Games (arXiv, doi),
with
P. Galeazzi, in Games and Economic Behavior,
2023.
On representation theorems for belief and meaning:
- Interpreting Linguistic Behavior with Possible World Models
(UvA),
PhD Dissertation at the University of Amsterdam, 2016.
Talks
2023 |
02 Jul |
Modal unification step by step (slides), UNIF 2023
(International Workshop on Unification), Rome, with Sam van Gool. |
2022 |
04 Aug |
Size measures and alphabetic equivalence in the
mu-calculus, LICS
2022, Haifa, Israel. |
13 Apr |
A focus-style proof systems for the alternation-free
mu-calculus, LLAMA seminar, ILLC,
University of Amsterdam. |
2021 |
21 Dec |
Comparative similarity and natural properties,
Research Forum, Department of Philosophy, University of
Bayreuth, Germany. |
07 Sep |
A focus system for the alternation-free mu-calculus,
TABLEAUX 2021,
online. |
all
talks
E-mail: johannes.marti@gmail.com