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 |
|---|---|---|
| Strictly positive fragments of the provability logic of Heyting arithmetic Studia Logica | 2026-04-30 | Paper |
| Lessons for interactive theorem proving researchers from a survey of Coq users Journal of Automated Reasoning | 2025-03-20 | Paper |
| AN ESCAPE FROM VARDANYAN’S THEOREM Journal of Symbolic Logic | 2023-12-22 | Paper |
| Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic | 2023-12-22 | Paper |
| Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic (available as arXiv preprint) | 2023-01-01 | Paper |
| Quantified reflection calculus with one modality (available as arXiv preprint) | 2022-09-15 | Paper |
| To drive or not to drive: a logical and computational analysis of European transport regulations Information and Computation | 2021-09-21 | Paper |
| Quantified Reflection Calculus with one modality (available as arXiv preprint) | 2020-03-30 | Paper |
| The Worm Calculus (available as arXiv preprint) | 2019-07-24 | Paper |
Research outcomes over time
This page was built for person: Ana de Almeida Borges
