Johannes Marti

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:

On coalgebraic modal logic, partially based on my MSc thesis:

On unification in modal logic:

On description logic:

On nonmonotonic and conditional logic:

On epistemic game theory:


02 Jul Modal unification step by step (slides), UNIF 2023 (International Workshop on Unification), Rome, with Sam van Gool.
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.
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