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
