Johannes Marti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proof systems for two-way modal \(\mu \)-calculus The Journal of Symbolic Logic	2025-12-10	Paper
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 Games and Economic Behavior	2023-06-23	Paper
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE The Review of Symbolic Logic	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 Order	2020-05-26	Paper
Completeness for Game Logic	2019-04-16	Paper
Parity games and automata for game logic (available as arXiv preprint)	2018-04-12	Paper
Parity games and automata for game logic	2018-04-12	Paper
scientific article; zbMATH DE number 6787689 (Why is no real title available?)	2017-10-06	Paper
Uniform interpolation for coalgebraic fixpoint logic (available as arXiv preprint)	2017-07-11	Paper
A game semantics for system P Studia Logica	2017-03-02	Paper
Lax extensions of coalgebra functors and their logic Journal of Computer and System Sciences	2015-04-28	Paper
Similarity Orders from Causal Equations Logics in Artificial Intelligence	2015-01-14	Paper
Semantic facts on Kripke frames	2013-10-23	Paper
Lax Extensions of Coalgebra Functors Coalgebraic Methods in Computer Science	2012-09-20	Paper

Research outcomes over time

This page was built for person: Johannes Marti