Eduardo Hermo Reyes
From MaRDI portal
Person:2176412
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 |
|---|---|---|
| Deducibility and independence in Beklemishev's autonomous provability calculus Information and Computation | 2022-06-13 | Paper |
| Deducibility and Independence in Beklemishev's Autonomous Provability Calculus | 2020-08-31 | Paper |
| The logic of Turing progressions Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
| A self-contained provability calculus for \(\varGamma_0\) | 2020-03-04 | Paper |
| Relational semantics for the Turing Schmerl calculus | 2019-07-24 | Paper |
| A Finitely Supported Frame for the Turing Schmerl Calculus | 2018-04-27 | Paper |
Research outcomes over time
This page was built for person: Eduardo Hermo Reyes
