Lax extensions of coalgebra functors and their logic J Marti, Y Venema
Journal of Computer and System Sciences 81 (5), 880-900, 2015
32 2015 Completeness for game logic S Enqvist, HH Hansen, C Kupke, J Marti, Y Venema
2019 34th annual ACM/IEEE symposium on Logic in Computer Science (LICS), 1-13, 2019
20 2019 Query expressibility and verification in ontology-based data access C Lutz, J Marti, L Sabellek
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
18 2018 Lax extensions of coalgebra functors J Marti, Y Venema
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012
17 2012 Uniform interpolation for coalgebraic fixpoint logic J Marti, F Seifan, Y Venema
arXiv preprint arXiv:1503.02319, 2015
15 2015 Topological semantics for conditionals J Marti, R Pinosio
The Logica Yearbook, 115-128, 2013
15 2013 A Focus System for the Alternation-Free -Calculus J Marti, Y Venema
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
12 2021 Parity games and automata for game logic HH Hansen, C Kupke, J Marti, Y Venema
International Workshop on Dynamic Logic, 115-132, 2017
8 2017 Size matters in the modal -calculus C Kupke, J Marti, Y Venema
arXiv preprint arXiv:2010.14430, 2020
7 2020 Relation liftings in coalgebraic modal logic J Marti
7 2011 A discrete duality between nonmonotonic consequence relations and convex geometries J Marti, R Pinosio
Order 37, 151-171, 2020
6 2020 Succinct graph representations of μ-calculus formulas C Kupke, J Marti, Y Venema
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
5 2022 Similarity orders from causal equations J Marti, R Pinosio
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
5 2014 Size measures and alphabetic equivalence in the μ-calculus C Kupke, J Marti, Y Venema
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
4 2022 Proof Systems for the Modal-Calculus Obtained by Determinizing Automata M Dekker, J Kloibhofer, J Marti, Y Venema
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
3 2023 Focus-style proof systems and interpolation for the alternation-free -calculus J Marti, Y Venema
arXiv preprint arXiv:2103.01671, 2021
3 2021 A journey into ontology approximation: From Non-Horn to Horn A Haga, C Lutz, J Marti, F Wolter
arXiv preprint arXiv:2001.07754, 2020
3 2020 Choice structures in games P Galeazzi, J Marti
Games and Economic Behavior 140, 431-455, 2023
2 2023 A Game Semantics for System P J Marti, R Pinosio
Studia Logica 104, 1119-1144, 2016
1 2016 Interpreting Linguistic Behavior with Possible World Models J Marti
University of Amsterdam, 2016
1 2016