Johannes Marti
Title
Cited by
Cited by
Year
Lax extensions of coalgebra functors
J Marti, Y Venema
International Workshop on Coalgebraic Methods in Computer Science, 150-169, 2012
162012
Lax extensions of coalgebra functors and their logic
J Marti, Y Venema
Journal of Computer and System Sciences 81 (5), 880-900, 2015
152015
Uniform interpolation for coalgebraic fixpoint logic
J Marti, F Seifan, Y Venema
arXiv preprint arXiv:1503.02319, 2015
132015
Topological semantics for conditionals
J Marti, R Pinosio
The Logica Yearbook, 115-128, 2013
122013
Query expressibility and verification in ontology-based data access
C Lutz, J Marti, L Sabellek
arXiv preprint arXiv:2011.09176, 2020
72020
Relation liftings in coalgebraic modal logic
J Marti
72011
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
62019
Parity games and automata for game logic
HH Hansen, C Kupke, J Marti, Y Venema
International Workshop on Dynamic Logic, 115-132, 2017
32017
Similarity orders from causal equations
J Marti, R Pinosio
European Workshop on Logics in Artificial Intelligence, 500-513, 2014
32014
A Journey into Ontology Approximation: From Non-Horn to Hon
A Haga, C Lutz, J Marti, F Wolter
arXiv preprint arXiv:2001.07754, 2020
22020
A discrete duality between nonmonotonic consequence relations and convex geometries
J Marti, R Pinosio
Order, 1-21, 2019
22019
A Game Semantics for System P
J Marti, R Pinosio
Studia Logica 104 (6), 1119-1144, 2016
12016
Interpreting Linguistic Behavior with Possible World Models
J Marti
University of Amsterdam, 2016
12016
Choice Structures in Games
P Galeazzi, J Marti
2021
Size matters in the modal -calculus
C Kupke, J Marti, Y Venema
arXiv preprint arXiv:2010.14430, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–15