A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. - Dov M. Gabbay; Dick De Jongh (J. Symb. Log., 1974)

Provable Fixed Points. - Dick De Jongh; Franco Montagna (Math. Log. Q., 1988)

Much Shorter Proofs. - Dick de Jongh; Franco Montagna (Math. Log. Q., 1989)

Computations in Fragments of Intuitionistic Propositional Logic. - Dick De Jongh; Lex Hendriks; Gerard R. Renardel de Lavalette (J. Autom. Reason., 1991)

On the proof of Solovay's theorem. - Dick de Jongh; Marc Jumelet; Franco Montagna (Stud Logica, 1991)

Rosser orderings and free variables. - Dick de Jongh; Franco Montagna (Stud Logica, 1991)

Explicit Fixed Points in Interpretability Logic. - Dick de Jongh; Albert Visser (Stud Logica, 1991)

The Decidability of Dependency in Intuitionistic Propositional Logic. - Dick De Jongh; L. A. Chagrova (J. Symb. Log., 1995)

Angluin's Theorem for Indexed Families of r.e. Sets and Applications. - Dick De Jongh; Makoto Kanazawa (COLT, 1996)

Formal Learning Theory. - Daniel N. Osherson; Dick de Jongh; Eric Martin 002; Scott Weinstein (Handbook of Logic and Language, 1997)

Interpolation, Definability and Fixed Points in Interpretability Logics. - Carlos Areces; Eva Hoogland; Dick de Jongh (Advances in Modal Logic, 1998)

Characterization of strongly equivalent logic programs in intermediate logics. - Dick De Jongh; Lex Hendriks (Theory Pract. Log. Program., 2003)

Properties of Intuitionistic Provability and Preservativity Logics. - Rosalie Iemhoff; Dick De Jongh; Chunlai Zhou (Log. J. IGPL, 2005)

The Structure of Rigid Frames of Depth 3 Only. - Tahsin Oner; Dick de Jongh (TbiLLC, 2007)

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. - Dick de Jongh; Fan Yang 004 (TbiLLC, 2009)

Interpretability in PRA. - Marta Bílková; Dick de Jongh; Joost J. Joosten (Ann. Pure Appl. Log., 2009)

Unifiability in extensions of K4. - Çigdem Gencer; Dick De Jongh (Log. J. IGPL, 2009)

Intermediate Logics and the de Jongh property. - Dick de Jongh; Rineke Verbrugge; Albert Visser (Arch. Math. Log., 2011)

Intuitionistic implication without disjunction. - Gerard R. Renardel de Lavalette; Alex Hendriks; Dick de Jongh (J. Log. Comput., 2012)

Extendible Formulas in Two Variables in Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh (Stud Logica, 2012)

Duality and Universal Models for the Meet-Implication Fragment of IPC. - Nick Bezhanishvili; Dion Coumans; Samuel J. van Gool; Dick de Jongh (TbiLLC, 2013)

Positive Formulas in Intuitionistic and Minimal Logic. - Dick de Jongh; Zhiguang Zhao (TbiLLC, 2013)

On the Complexity of Conclusive Update. - Nina Gierasimczuk; Dick de Jongh (Comput. J., 2013)

Comparing strengths of beliefs explicitly. - Sujata Ghosh; Dick de Jongh (Log. J. IGPL, 2013)

Logic and Learning. - Nina Gierasimczuk; Vincent F. Hendricks; Dick de Jongh (Johan van Benthem on Logic and Information Dynamics, 2014)

Universal Models for the Positive Fragment of Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh; Apostolos Tzimoulis; Zhiguang Zhao (TbiLLC, 2015)

Subintuitionistic Logics with Kripke Semantics. - Dick de Jongh; Fatemeh Shirmohammadzadeh Maleki (TbiLLC, 2015)

A Study of Subminimal Logics of Negation and Their Modal Companions. - Nick Bezhanishvili; Almudena Colacito; Dick de Jongh (TbiLLC, 2017)

Two Neighborhood Semantics for Subintuitionistic Logics. - Dick de Jongh; Fatemeh Shirmohammadzadeh Maleki (TbiLLC, 2017)

Finite Identification with Positive and with Complete Data. - Dick de Jongh; Ana Lucia Vargas Sandoval (TbiLLC, 2017)

Weak subintuitionistic logics. - Fatemeh Shirmohammadzadeh Maleki; Dick De Jongh (Log. J. IGPL, 2017)

Subminimal negation. - Almudena Colacito; Dick de Jongh; Ana Lucia Vargas (Soft Comput., 2017)

Stable Formulas in Intuitionistic Logic. - Nick Bezhanishvili; Dick de Jongh (Notre Dame J. Formal Log., 2018)

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019. - Dick de Jongh; Joan Rand Moschovakis (Bull. Symb. Log., 2020)

NNIL-formulas revisited: Universal models and finite model property. - Julia Ilin; Dick de Jongh; Fan Yang 004 (J. Log. Comput., 2021)

Binary modal logic and unary modal logic. - Dick de Jongh; Fatemeh Shirmohammadzadeh Maleki (Log. J. IGPL, 2024)