Ana de Almeida Borges
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 |
|---|---|---|
| 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
