| Publication | Date of Publication | Type |
|---|
| 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 |
| https://portal.mardi4nfdi.de/entity/Q5101334 | 2022-08-30 | Paper |
| Monotone subintuitionistic logic: duality and transfer results | 2022-07-13 | Paper |
| Hennessy-Milner properties via topological compactness | 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 | 2022-02-24 | Paper |
| Hennessy-Milner Properties via Topological Compactness | 2021-05-04 | Paper |
| Constructive domains with classical witnesses | 2021-03-26 | Paper |
| Modal intuitionistic logics as dialgebraic logics | 2021-01-21 | Paper |
| A van Benthem theorem for fuzzy modal logic | 2021-01-20 | Paper |
| Modal meet-implication logic | 2020-12-26 | Paper |
| A new foundation for finitary corecursion and iterative algebras | 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 | 2018-04-25 | Paper |
| Program equivalence is coinductive | 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 | 2017-07-03 | Paper |
| A van Benthem/Rosen theorem for coalgebraic predicate logic | 2017-05-17 | Paper |
| Sound and complete equational reasoning over comodels | 2016-12-16 | Paper |
| Towards Effects in Mathematical Operational Semantics | 2016-07-15 | Paper |
| A new foundation for finitary corecursion. The locally finite fixpoint and its properties | 2016-06-10 | Paper |
| Continuous functions on final coalgebras | 2016-05-10 | Paper |
| A New Foundation for Finitary Corecursion | 2016-01-07 | Paper |
| Reasoning with global assumptions in arithmetic modal logics | 2015-09-29 | Paper |
| PSPACE bounds for rank-1 modal logics | 2015-09-17 | Paper |
| Simplified coalgebraic trace equivalence | 2015-06-22 | Paper |
| Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic | 2015-01-06 | Paper |
| Coalgebraic Weak Bisimulation from Recursive Equations over Monads | 2014-07-01 | Paper |
| Admissibility of cut in coalgebraic logics | 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 | 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 | 2013-08-15 | Paper |
| A computational model for multi-variable differential calculus | 2013-06-06 | Paper |
| Modal languages for coalgebras in a topological setting | 2013-04-26 | Paper |
| Coalgebraic predicate logic: equipollence results and proof theory | 2013-04-12 | Paper |
| Some Sahlqvist Completeness Results for Coalgebraic Logics | 2013-03-18 | Paper |
| Comodels and effects in mathematical operational semantics | 2013-03-18 | Paper |
| Coalgebraic predicate logic | 2012-11-01 | Paper |
| Sequent Systems for Lewis’ Conditional Logics | 2012-09-21 | Paper |
| On modal logics of linear inequalities | 2012-08-05 | Paper |
| Solving graded/probabilistic modal logic via linear inequalities (system description) | 2012-06-15 | Paper |
| Strong completeness of coalgebraic modal logics | 2012-04-24 | Paper |
| EXPTIME tableaux for the coalgebraic \(\mu\)-calculus | 2012-04-02 | Paper |
| Named models in coalgebraic hybrid logic | 2012-01-23 | Paper |
| Coalgebraic semantics of modal logics: an overview | 2011-09-22 | Paper |
| On the fusion of coalgebraic logics | 2011-09-02 | Paper |
| Cut elimination for shallow modal logics | 2011-07-01 | Paper |
| Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra | 2011-06-10 | Paper |
| Generic modal cut elimination applied to conditional logics | 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 | 2011-03-22 | Paper |
| Cut elimination in coalgebraic logics | 2011-01-14 | Paper |
| Rank-1 modal logics are coalgebraic | 2010-11-11 | Paper |
| Global caching for coalgebraic description logics | 2010-09-14 | Paper |
| Coalgebraic Correspondence Theory | 2010-04-27 | Paper |
| Optimal tableau algorithms for coalgebraic logics | 2010-04-27 | Paper |
| Translating logics for coalgebras. | 2010-04-20 | Paper |
| Making components move: a separation of concerns approach. | 2010-02-09 | Paper |
| Representations of stream processors using nested fixed points | 2010-01-28 | Paper |
| Generic Modal Cut Elimination Applied to Conditional Logics | 2009-12-01 | Paper |
| EXPTIME Tableaux for the Coalgebraic μ-Calculus | 2009-11-12 | Paper |
| Coalgebraic Hybrid Logic | 2009-03-31 | Paper |
| Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics | 2008-04-11 | Paper |
| Modular construction of complete coalgebraic logics | 2007-12-18 | Paper |
| Modular Algorithms for Heterogeneous Modal Logics | 2007-11-28 | Paper |
| Rank-1 Modal Logics Are Coalgebraic | 2007-09-03 | Paper |
| Denotational semantics of hybrid automata | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| A Domain-Theoretic Account of Picard's Theorem | 2007-04-04 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Coalgebraic modal logic of finite rank | 2005-08-03 | Paper |
| Expressive logics for coalgebras via terminal sequence induction | 2005-07-06 | Paper |
| A coordination approach to mobile components | 2005-04-06 | Paper |
| Coalgebraic modal logic: soundness, completeness and decidability of local consequence | 2004-10-27 | Paper |
| Expressivity results in the modal logic of coalgebras | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762529 | 2002-01-09 | Paper |
| Modal logic for rewriting theories | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499307 | 2001-03-05 | Paper |
