Johannes Marti

I am working as a research associate with Clemens Kupke in the MSP group at the University of Strathclyde in Glasgow. My current research interests are in fixpoint logic, coalgebra and nonmonotonic logic.

Before coming to 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:

On nonmonotonic and conditional logic:

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

Address:
Computer and Information Sciences
University of Strathclyde
Livingston Tower
26 Richmond Street
Glasgow G1 1XH