If you made any changes in Pure these will be visible here soon.

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 20057 Nov 2008

Mathematical Logic, PhD, Utrecht University

1 Jan 201129 May 2015

Mathematics, Master, Utrecht University

1 Sep 200830 Nov 2010

Cognitive Artificial Intelligence, Bachelor, Utrecht University

1 Sep 200518 Aug 2009

Computer Science, Bachelor, Utrecht University

1 Sep 20057 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.

Mints Engineering & Materials Science
Admissible Rule Mathematics
Semantics Engineering & Materials Science
Admissibility Mathematics
Intermediate Logics Mathematics
Intuitionistic Logic Mathematics
Tie Mathematics
Equivalence Mathematics

Research Output 2013 2018

  • 4 Article
  • 1 Conference contribution
  • 1 Paper

A Syntactic Characterization of the Gabbay-de Jongh Logics

Goudsmit, J., 23 Jan 2018. 5 p.

Research output: Contribution to ConferencePaperAcademic

The Admissible Rules of BD2 and GSc

Goudsmit, J. P., 2018, In : NOTRE DAME JOURNAL OF FORMAL LOGIC. 59, 3, p. 325-353

Research output: Contribution to JournalArticleAcademicpeer-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-1204

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Admissibility and refutation: some characterisations of intermediate logics

Goudsmit, J. P., Nov 2014, In : Archive for Mathematical Logic. 53, 7-8, p. 779-808

Research output: Contribution to JournalArticleAcademicpeer-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-672

Research output: Contribution to JournalArticleAcademicpeer-review