| Publication | Date of Publication | Type |
|---|
Completeness for game logic
| 2024-12-19 | Paper |
Cyclic proofs for the first-order \(\mu\)-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 |
scientific article; zbMATH DE number 7585713 (Why is no real title available?)
| 2022-09-15 | 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
| 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 \(\mu\)-calculi
| 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 |
