Jeroen P. Goudsmit

According to our database, Jeroen P. Goudsmit authored at least 7 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Decidability of admissibility: on a Problem by Friedman and its solution by Rybakov.

Jeroen P. Goudsmit

Bull. Symb. Log., 2021

2018

The Admissible Rules of BD₂ and GSc.

Jeroen P. Goudsmit

Notre Dame J. Formal Log., 2018

2016

Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility.

Jeroen P. Goudsmit

Stud Logica, 2016

2014

On unification and admissible rules in Gabbay-de Jongh logics.

Jeroen P. Goudsmit, Rosalie Iemhoff

Ann. Pure Appl. Log., 2014

Admissibility and refutation: some characterisations of intermediate logics.

Jeroen P. Goudsmit

Arch. Math. Log., 2014

2013

A Syntactic Characterization of the Gabbay-de Jongh Logics.

Jeroen P. Goudsmit

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

A Note on Extensions: Admissible Rules via Semantics.

Jeroen P. Goudsmit

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013