Follow
Johannes Marti
Title
Cited by
Cited by
Year
Lax extensions of coalgebra functors and their logic
J Marti, Y Venema
Journal of Computer and System Sciences 81 (5), 880-900, 2015
312015
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
192019
Query expressibility and verification in ontology-based data access
C Lutz, J Marti, L Sabellek
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
182018
Lax extensions of coalgebra functors
J Marti, Y Venema
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012
172012
Uniform interpolation for coalgebraic fixpoint logic
J Marti, F Seifan, Y Venema
arXiv preprint arXiv:1503.02319, 2015
152015
Topological semantics for conditionals
J Marti, R Pinosio
The Logica Yearbook, 115-128, 2013
152013
A Focus System for the Alternation-Free -Calculus
J Marti, Y Venema
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
102021
Parity games and automata for game logic
HH Hansen, C Kupke, J Marti, Y Venema
International Workshop on Dynamic Logic, 115-132, 2017
82017
Relation liftings in coalgebraic modal logic
J Marti
72011
Size matters in the modal -calculus
C Kupke, J Marti, Y Venema
arXiv preprint arXiv:2010.14430, 2020
62020
A discrete duality between nonmonotonic consequence relations and convex geometries
J Marti, R Pinosio
Order 37, 151-171, 2020
62020
Similarity orders from causal equations
J Marti, R Pinosio
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
52014
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
42022
Succinct graph representations of μ-calculus formulas
C Kupke, J Marti, Y Venema
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
42022
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
32023
Focus-style proof systems and interpolation for the alternation-free -calculus
J Marti, Y Venema
arXiv preprint arXiv:2103.01671, 2021
32021
A journey into ontology approximation: From Non-Horn to Horn
A Haga, C Lutz, J Marti, F Wolter
arXiv preprint arXiv:2001.07754, 2020
32020
Choice structures in games
P Galeazzi, J Marti
Games and Economic Behavior 140, 431-455, 2023
22023
A Game Semantics for System P
J Marti, R Pinosio
Studia Logica 104, 1119-1144, 2016
12016
Interpreting Linguistic Behavior with Possible World Models
J Marti
University of Amsterdam, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20