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 obtained my doctorate 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 coalgebra and partially based on my MSc thesis:

Uniform Interpolation for Coalgebraic Fixpoint Logic (preprint, doi),
with F. Seifan and Y. Venema, at 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 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, in Coalgebraic Methods in Computer Science, 2012.

On nonmonotonic and conditional logic:

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries (draft),
with R. Pinosio.
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, in Logics in Artificial Intelligence, 2014.
Topological Semantics for Conditionals (preprint),
with R. Pinosio, in The Logica Yearbook 2013.

Talks

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 Berne
2015
02 Dec	Duality for Non-monotonic Consequence Relations and Antimatroids, Algebra\|Coalgebra Seminar, ILLC, University of Amsterdam, with Riccardo Pinosio
24 Sep	Game Semantics for System P, TbiLLC 2015 (Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia, with Riccardo Pinosio

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