Lax extensions of coalgebra functors and their logic J Marti, Y Venema Journal of Computer and System Sciences 81 (5), 880-900, 2015 | 34 | 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 | 22 | 2019 |
Lax extensions of coalgebra functors J Marti, Y Venema Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012 | 19 | 2012 |
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 |
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 | 14 | 2021 |
Relation liftings in coalgebraic modal logic J Marti | 9 | 2011 |
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 |
Succinct graph representations of μ-calculus formulas C Kupke, J Marti, Y Venema 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022 | 6 | 2022 |
A discrete duality between nonmonotonic consequence relations and convex geometries J Marti, R Pinosio Order 37, 151-171, 2020 | 6 | 2020 |
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 | 5 | 2023 |
Similarity orders from causal equations J Marti, R Pinosio Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 5 | 2014 |
Choice structures in games P Galeazzi, J Marti Games and Economic Behavior 140, 431-455, 2023 | 4 | 2023 |
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 |
Focus-style proof systems and interpolation for the alternation-free -calculus J Marti, Y Venema arXiv preprint arXiv:2103.01671, 2021 | 4 | 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 | 2 | 2020 |
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 |