Research Output per year
Personal profile
Ancillary activities
- PricewaterhouseCoopers Advisory N.V. | Amsterdam | Medewerker | 2019-03-01 - present
Ancillary activities are updated daily
Education/Academic qualification
Mathematics, Bachelor, Utrecht University
1 Sep 2005 → 7 Nov 2008
Mathematical Logic, PhD, Utrecht University
1 Jan 2011 → 29 May 2015
Mathematics, Master, Utrecht University
1 Sep 2008 → 30 Nov 2010
Cognitive Artificial Intelligence, Bachelor, Utrecht University
1 Sep 2005 → 18 Aug 2009
Computer Science, Bachelor, Utrecht University
1 Sep 2005 → 7 Nov 2008
Fingerprint Dive into the research topics where Jeroen Goudsmit is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Research Output 2013 2018
A Syntactic Characterization of the Gabbay-de Jongh Logics
Goudsmit, J., 23 Jan 2018. 5 p.Research output: Contribution to Conference › Paper › Academic
The Admissible Rules of BD2 and GSc
Goudsmit, J. P., 2018, In : NOTRE DAME JOURNAL OF FORMAL LOGIC. 59, 3, p. 325-353Research output: Contribution to Journal › Article › Academic › peer-review
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
Goudsmit, J. P., Dec 2016, In : Studia logica. 104, 6, p. 1191-1204Research output: Contribution to Journal › Article › Academic › peer-review
Admissibility and refutation: some characterisations of intermediate logics
Goudsmit, J. P., Nov 2014, In : Archive for Mathematical Logic. 53, 7-8, p. 779-808Research output: Contribution to Journal › Article › Academic › peer-review
On unification and admissible rules in Gabbay-de Jongh logics
Goudsmit, J. P. & Iemhoff, R., Feb 2014, In : Annals of Pure and Applied Logic. 165, 2, p. 652-672Research output: Contribution to Journal › Article › Academic › peer-review