Johannes Marti

Available identifiers

Publication	Date of Publication	Type
Completeness for game logic	2024-12-19	Paper
Size measures and alphabetic equivalence in the \(\mu \)-calculus	2024-12-06	Paper
On the size of disjunctive formulas in the \(\mu\)-calculus	2024-12-06	Paper
Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata	2024-05-17	Paper
Succinct graph representations of \(\mu\)-calculus formulas	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
Semantic facts on Kripke frames	2013-10-23	Paper
Lax Extensions of Coalgebra Functors	2012-09-20	Paper

This page was built for person: Johannes Marti