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 |
|---|---|---|
| DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV The Bulletin of Symbolic Logic | 2021-08-05 | Paper |
| The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
| Finite frames fail: how infinity works its way into the semantics of admissibility Studia Logica | 2017-03-02 | Paper |
| A note on extensions: admissible rules via semantics Logical Foundations of Computer Science | 2015-12-11 | Paper |
| Admissibility and refutation: some characterisations of intermediate logics Archive for Mathematical Logic | 2014-12-15 | Paper |
| On unification and admissible rules in Gabbay-de Jongh logics Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Research outcomes over time
This page was built for person: Jeroen P. Goudsmit
