| Publication | Date of Publication | Type |
|---|
Computation by infinite descent made explicit
Logical Methods in Computer Science | 2026-08-04 | Paper |
Proof systems for two-way modal -calculus
The Journal of Symbolic Logic | 2025-12-10 | Paper |
Herbrand schemes for cyclic proofs
Journal of Logic and Computation | 2025-10-29 | Paper |
Herbrand schemes for first-order logic
Archive for Mathematical Logic | 2025-10-17 | Paper |
| Completeness for game logic | 2024-12-19 | Paper |
Cyclic proofs for the first-order -calculus
Logic Journal of the IGPL | 2024-11-15 | Paper |
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
A circular proof system for the hybrid \(\mu\)-calculus
(available as arXiv preprint) | 2022-09-15 | Paper |
A new game equivalence and its modal logic
(available as arXiv preprint) | 2021-12-14 | Paper |
| A new game equivalence and its modal logic | 2021-12-14 | Paper |
| Duality for instantial neighbourhood logic via coalgebra | 2021-02-22 | Paper |
A propositional dynamic logic for instantial neighborhood semantics
Studia Logica | 2019-09-03 | Paper |
A new game equivalence, its logic and algebra
Journal of Philosophical Logic | 2019-09-03 | Paper |
Disjunctive bases: normal forms and model theory for modal logics
(available as arXiv preprint) | 2019-05-17 | Paper |
| Completeness for Game Logic | 2019-04-16 | Paper |
Completeness for \(\mu\)-calculi: a coalgebraic approach
Annals of Pure and Applied Logic | 2019-03-14 | Paper |
Bisimulations for coalgebras on Stone spaces
Journal Of Logic And Computation | 2019-01-31 | Paper |
Flat modal fixpoint logics with the converse modality
Journal Of Logic And Computation | 2019-01-31 | Paper |
| Disjunctive bases: normal forms for modal logics | 2018-08-13 | Paper |
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
Theoretical Computer Science | 2018-05-17 | Paper |
Monadic second-order logic and bisimulation invariance for coalgebras
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| A propositional dynamic logic for instantial neighborhood models | 2017-11-22 | Paper |
| Completeness for coalgebraic fixpoint logic | 2017-07-19 | Paper |
An expressive completeness theorem for coalgebraic modal -calculi
(available as arXiv preprint) | 2017-07-13 | Paper |
Instantial neighbourhood logic
The Review of Symbolic Logic | 2017-05-31 | Paper |
A new coalgebraic Lindström theorem
Journal Of Logic And Computation | 2017-01-31 | Paper |
A coalgebraic view of characteristic formulas in equational modal fixed point logics
Advanced Information Systems Engineering | 2015-09-11 | Paper |
Segerberg on the Paradoxes of Introspective Belief Change
Outstanding Contributions to Logic | 2015-04-10 | Paper |
Homomorphisms of coalgebras from predicate liftings
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
A general Lindström theorem for some normal modal logics
Logica Universalis | 2013-08-06 | Paper |
Modelling epistemic actions in interrogative belief revision
Journal Of Logic And Computation | 2013-01-14 | Paper |
Interrogative belief revision based on epistemic strategies
Studia Logica | 2012-12-12 | Paper |
A structuralist framework for the logic of theory change
Belief Revision meets Philosophy of Science | 2012-09-14 | Paper |
Contraction in interrogative belief revision
Erkenntnis | 2010-05-21 | Paper |
Interrogative belief revision in modal logic
Journal of Philosophical Logic | 2009-11-16 | Paper |
