| Publication | Date of Publication | Type |
|---|
| The alternating-time -calculus with disjunctive explicit strategies | 2026-03-23 | Paper |
| From modal sequent calculi to modal resolution | 2026-01-21 | Paper |
Linear regression in p-adic metric spaces
\(p\)-Adic Numbers, Ultrametric Analysis, and Applications | 2025-12-16 | Paper |
| Non-iterative modal resolution calculi | 2025-01-31 | Paper |
| Resolution calculi for non-normal modal logics | 2024-05-17 | Paper |
| COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) | 2024-04-26 | Paper |
Modal meet-implication logic
(available as arXiv preprint) | 2022-08-30 | Paper |
| Modal meet-implication logic | 2022-08-30 | Paper |
Monotone subintuitionistic logic: duality and transfer results
Notre Dame Journal of Formal Logic | 2022-07-13 | Paper |
Hennessy-Milner properties via topological compactness
Information and Computation | 2022-06-13 | Paper |
| Domain theoretic second-order Euler's method for solving initial value problems | 2022-04-29 | Paper |
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Hennessy-Milner Properties via Topological Compactness
(available as arXiv preprint) | 2021-05-04 | Paper |
Constructive domains with classical witnesses
(available as arXiv preprint) | 2021-03-26 | Paper |
| Constructive domains with classical witnesses | 2021-03-26 | Paper |
Modal intuitionistic logics as dialgebraic logics
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
A van Benthem theorem for fuzzy modal logic
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Modal meet-implication logic
(available as arXiv preprint) | 2020-12-26 | Paper |
A new foundation for finitary corecursion and iterative algebras
Information and Computation | 2020-03-12 | Paper |
| Hennessy-Milner properties for (modal) bi-intuitionistic logic | 2020-03-04 | Paper |
| A resolution-based calculus for preferential logics | 2018-10-18 | Paper |
| Uniform interpolation in coalgebraic modal logic | 2018-08-13 | Paper |
Model theory and proof theory of coalgebraic predicate logic
(available as arXiv preprint) | 2018-04-25 | Paper |
Program equivalence is coinductive
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Schulze voting as evidence carrying computation | 2018-01-04 | Paper |
| Generic trace semantics and graded monads | 2017-07-11 | Paper |
The logic of exact covers: completeness and uniform interpolation
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
A van Benthem/Rosen theorem for coalgebraic predicate logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
Sound and complete equational reasoning over comodels
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
A new foundation for finitary corecursion. The locally finite fixpoint and its properties
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Continuous functions on final coalgebras
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
| A New Foundation for Finitary Corecursion | 2016-01-07 | Paper |
Reasoning with global assumptions in arithmetic modal logics
Fundamentals of Computation Theory | 2015-09-29 | Paper |
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Simplified coalgebraic trace equivalence
Software, Services, and Systems | 2015-06-22 | Paper |
Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
Logic and Its Applications | 2015-01-06 | Paper |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Automata, Languages, and Programming | 2014-07-01 | Paper |
Admissibility of cut in coalgebraic logics
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| Continuous functions on final coalgebras | 2013-12-04 | Paper |
| Domain theoretic solutions of initial value problems for unbounded vector fields | 2013-10-08 | Paper |
Correspondence between modal Hilbert axioms and sequent rules with an application to S5
Lecture Notes in Computer Science | 2013-10-04 | Paper |
| Algebraic semantics for coalgebraic logics | 2013-09-11 | Paper |
| Computable functions on final coalgebras | 2013-08-23 | Paper |
Definability, canonical models, compactness for finitary coalgebraic modal logic
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
A computational model for multi-variable differential calculus
Information and Computation | 2013-06-06 | Paper |
Modal languages for coalgebras in a topological setting
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Coalgebraic predicate logic: equipollence results and proof theory
Logic, Language, and Computation | 2013-04-12 | Paper |
Comodels and effects in mathematical operational semantics
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Some Sahlqvist Completeness Results for Coalgebraic Logics
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Coalgebraic predicate logic
Automata, Languages, and Programming | 2012-11-01 | Paper |
Sequent Systems for Lewis’ Conditional Logics
Logics in Artificial Intelligence | 2012-09-21 | Paper |
| On modal logics of linear inequalities | 2012-08-05 | Paper |
Solving graded/probabilistic modal logic via linear inequalities (system description)
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Strong completeness of coalgebraic modal logics | 2012-04-24 | Paper |
EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
Logical Methods in Computer Science | 2012-04-02 | Paper |
| Named models in coalgebraic hybrid logic | 2012-01-23 | Paper |
Coalgebraic semantics of modal logics: an overview
Theoretical Computer Science | 2011-09-22 | Paper |
On the fusion of coalgebraic logics
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Cut elimination for shallow modal logics
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Generic modal cut elimination applied to conditional logics
Logical Methods in Computer Science | 2011-05-26 | Paper |
| Optimal tableaux for conditional logics with cautious monotonicity | 2011-05-11 | Paper |
Hybrid logic with the difference modality for generalisations of graphs
Journal of Applied Logic | 2011-03-22 | Paper |
Cut elimination in coalgebraic logics
Information and Computation | 2011-01-14 | Paper |
Rank-1 modal logics are coalgebraic
Journal Of Logic And Computation | 2010-11-11 | Paper |
Global caching for coalgebraic description logics
Automated Reasoning | 2010-09-14 | Paper |
Optimal tableau algorithms for coalgebraic logics
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Coalgebraic Correspondence Theory
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Translating logics for coalgebras.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Making components move: a separation of concerns approach.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Representations of stream processors using nested fixed points
Logical Methods in Computer Science | 2010-01-28 | Paper |
Generic Modal Cut Elimination Applied to Conditional Logics
Lecture Notes in Computer Science | 2009-12-01 | Paper |
EXPTIME Tableaux for the Coalgebraic μ-Calculus
Computer Science Logic | 2009-11-12 | Paper |
Coalgebraic Hybrid Logic
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Modular construction of complete coalgebraic logics
Theoretical Computer Science | 2007-12-18 | Paper |
Modular Algorithms for Heterogeneous Modal Logics
Automata, Languages and Programming | 2007-11-28 | Paper |
Rank-1 Modal Logics Are Coalgebraic
STACS 2007 | 2007-09-03 | Paper |
Denotational semantics of hybrid automata
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
A Domain-Theoretic Account of Picard's Theorem
LMS Journal of Computation and Mathematics | 2007-04-04 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
Expressive logics for coalgebras via terminal sequence induction
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
A coordination approach to mobile components
Theoretical Computer Science | 2005-04-06 | Paper |
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science | 2004-10-27 | Paper |
| Expressivity results in the modal logic of coalgebras | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1688389 (Why is no real title available?) | 2002-01-09 | Paper |
| Modal logic for rewriting theories | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1497876 (Why is no real title available?) | 2001-03-05 | Paper |
