Q6135560
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Game semantics for the constructive \mu-calculus (available as arXiv preprint) | N/A | Paper |
| Intuitionistic Gödel-Löb without sharps ACM Transactions on Computational Logic | 2025-12-01 | Paper |
| Higher-order feedback computation | 2025-02-07 | Paper |
| On One-Variable Fragments of Modal <i>µ</i>-Calculus Computability Theory and Foundations of Mathematics | 2023-08-25 | Paper |
| The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Determinacy and reflection principles in second-order arithmetic | 2022-09-08 | Paper |
Research outcomes over time
This page was built for person:
