Johannes Marti

I am a postdoc in the Theory of Artificial Intelligence group at the University of 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 description logic:

Query Expressibility and Verification in Ontology-Based Data Access (preprint),
with C. Lutz and L. Sabellek, at KR 2018.

On nonmonotonic and conditional logic:

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries (preprint, doi),
with R. Pinosio, in Order, 2019.
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 fixpoint logic:

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.

Talks

2018
25 Jul	Inquisitive semantics for computer programs, Inquisitive Logic Workshop, ILLC, University of Amsterdam
31 May	Choice Structures, Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences, Amsterdam, with Paolo Galeazzi
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

all talks

Contact

E-mail:
johannes.marti@gmail.com

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

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