Johannes Marti

I am a postdoc in the Theory of Artificial Intelligence group at the Universität Bremen. My current research interests are in fixpoint logic, coalgebra and nonmonotonic logic.

Before coming to Bremen I was a postdoc 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 in Amsterdam. My PhD thesis is on representation theorems for possible world models of belief and meaning with respect to linguistic behavior.

Papers

On nonmonotonic and conditional logic:

On fixpoint logic:

On coalgebra and partially based on my MSc thesis:

Talks

2017
23 Sep Parity Games and Automata for Game Logic, DaLí - Dynamic Logic: new trends and applications, University of Brasília
2016
8 Sep Duality for Non-monotonic Consequence Relations and Antimatroids, BLC 2016 (British Logic Colloquium), University of Edinburgh
24 Mar Duality for Non-monotonic Consequence Relations and Antimatroids, Mini-Workshop on Non-Classical Logics, University of Bern

all talks

Contact

E-mail:
johannes.marti@gmail.com

Mailing Address:
Universität Bremen
Fachbereich 03
Postfach 330440
28334 Bremen

Phone:
+49 421 218 64435

Visiting Address:
Cartesium, room 2.57
Enrique-Schmidt-Straße 5
28359 Bremen