Jeroen P. Goudsmit

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Expressive Power

Deduction Rules

Language Generation

Conditional Logic

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Jeroen P. Goudsmit
Decidability of admissibility: on a Problem by Friedman and its solution by Rybakov. Bull. Symb. Log. 27 (1) (2021)
Jeroen P. Goudsmit
and GSc. Notre Dame J. Formal Log. 59 (3) (2018)
Jeroen P. Goudsmit
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility. Stud Logica 104 (6) (2016)
Jeroen P. Goudsmit, Rosalie Iemhoff
On unification and admissible rules in Gabbay-de Jongh logics. Ann. Pure Appl. Log. 165 (2) (2014)
Jeroen P. Goudsmit
Admissibility and refutation: some characterisations of intermediate logics. Arch. Math. Log. 53 (7-8) (2014)
Jeroen P. Goudsmit
A Syntactic Characterization of the Gabbay-de Jongh Logics. TACL (2013)
Jeroen P. Goudsmit
A Note on Extensions: Admissible Rules via Semantics. LFCS (2013)