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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

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