I am a postdoc at the ILLC in Amsterdam working with Yde Venema on proof systems for modal fixpoint logics.
Before, I did postdocs 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 also at the ILLC. My PhD thesis is on representation theorems for possible world models of belief and meaning with respect to linguistic behavior.
On fixpoint logic:
On coalgebraic modal logic, partially based on my MSc thesis:
On description logic:
On nonmonotonic and conditional logic:
On epistemic game theory:
2020 | |
26 Aug | Conditional logic is complete for convexity in the plane, Advances in Modal Logic 2020, online. |
01 Apr | Unification in coalgebraic modal logics, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam. |
20 Feb | Unification in coalgebraic modal logics, Bern Logic Seminar, University of Bern. |
2019 | |
20 Nov | Size matters in the modal mu-calculus, Circularity in Syntax and Semantics, Göteborg, Sweden. |
E-mail: johannes.marti@gmail.com
Phone: +31 20 525 7173
Mailing Address:
FNWI, ILLC
Universiteit van Amsterdam
P.O. Box 94242
1090 GE Amsterdam
Visiting Address:
Room F2.16
Science Park 107
1098 XG Amsterdam