Johannes Marti

Available identifiers

zbMath Open marti.johannesMaRDI QIDQ1742624

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124964	2024-04-10	Paper
Choice structures in games	2023-06-23	Paper
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE	2023-05-26	Paper
A focus system for the alternation-free \(\mu \)-calculus	2022-05-25	Paper
A discrete duality between nonmonotonic consequence relations and convex geometries	2020-05-26	Paper
Completeness for Game Logic	2019-04-16	Paper
Parity games and automata for game logic	2018-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q5365498	2017-10-06	Paper
Uniform Interpolation for Coalgebraic Fixpoint Logic	2017-07-11	Paper
A game semantics for system P	2017-03-02	Paper
Lax extensions of coalgebra functors and their logic	2015-04-28	Paper
Similarity Orders from Causal Equations	2015-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2856084	2013-10-23	Paper
Lax Extensions of Coalgebra Functors	2012-09-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Marti