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 |
|---|---|---|
| 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 |
| scientific article; zbMATH DE number 7585705 (Why is no real title available?) (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
