I am a postdoc with Dan Olteanu in the Data Systems and Theory group at the University of Zurich.

Before, I did postdocs with Michael Benedikt at the Department of Computer Science in Oxford, with Yde Venema at the ILLC in Amsterdam, with Carsten Lutz in the Theory of Artificial Intelligence group at the University of Bremen and with Clemens Kupke in the MSP group at the University of Strathclyde in Glasgow.

I completed my dissertation under the supervision Martin Stokhof and Frank Veltman at the ILLC. My PhD thesis is on representation theorems for possible world models of belief and meaning with respect to linguistic behavior.

On modal fixpoint logics:

- 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 the 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:

- Modal Unification Step by Step (hal),

with S. van Gool, at UNIF 2023.

On description logic:

- A Journey into Ontology Approximation: From Non-Horn to
Horn (arXiv,
doi),

with A. Haga, C. Lutz and F. Wolter, at IJCAI 2020. - Query Expressibility and Verification in Ontology-Based
Data Access (arXiv, publisher,
erratum),

with C. Lutz and L. Sabellek, at KR 2018.

On nonmonotonic and conditional logic:

- Frame Definability in Conditional Logic (draft),

with D. Fornasiere and G. Varricchione. - 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.

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. |

**E-mail:** marti@ifi.uzh.ch