| 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 |
scientific article; zbMATH DE number 7577565 (Why is no real title available?)
| 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
| 2021-05-04 | 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
| 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
| 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 |
Some Sahlqvist Completeness Results for Coalgebraic Logics
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Comodels and effects in mathematical operational semantics
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 |
Coalgebraic Correspondence Theory
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Optimal tableau algorithms for coalgebraic logics
Tools and Algorithms for the Construction and Analysis of Systems | 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 |
