Dick de Jongh

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 8

Top Topics

Valued Semantics

Intuitionistic Logic

Proof Procedures

Top Venues

Bull. Symb. Log.

Publications

Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
Binary modal logic and unary modal logic. Log. J. IGPL 32 (3) (2024)
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas revisited: Universal models and finite model property. J. Log. Comput. 31 (2) (2021)
Dick de Jongh, Joan Rand Moschovakis
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019. Bull. Symb. Log. 26 (3-4) (2020)
Nick Bezhanishvili, Dick de Jongh
Stable Formulas in Intuitionistic Logic. Notre Dame J. Formal Log. 59 (3) (2018)
Almudena Colacito, Dick de Jongh, Ana Lucia Vargas
Subminimal negation. Soft Comput. 21 (1) (2017)
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
Two Neighborhood Semantics for Subintuitionistic Logics. TbiLLC (2017)
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
A Study of Subminimal Logics of Negation and Their Modal Companions. TbiLLC (2017)
Dick de Jongh, Ana Lucia Vargas Sandoval
Finite Identification with Positive and with Complete Data. TbiLLC (2017)
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
Universal Models for the Positive Fragment of Intuitionistic Logic. TbiLLC (2015)
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
Subintuitionistic Logics with Kripke Semantics. TbiLLC (2015)
Dick de Jongh, Zhiguang Zhao
Positive Formulas in Intuitionistic and Minimal Logic. TbiLLC (2013)
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC (2013)
Nina Gierasimczuk, Dick de Jongh
On the Complexity of Conclusive Update. Comput. J. 56 (3) (2013)
Sujata Ghosh, Dick de Jongh
Comparing strengths of beliefs explicitly. Log. J. IGPL 21 (3) (2013)
Nick Bezhanishvili, Dick de Jongh
Extendible Formulas in Two Variables in Intuitionistic Logic. Stud Logica 100 (1-2) (2012)
Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh
Intuitionistic implication without disjunction. J. Log. Comput. 22 (3) (2012)
Dick de Jongh, Rineke Verbrugge, Albert Visser
Intermediate Logics and the de Jongh property. Arch. Math. Log. 50 (1-2) (2011)
Dick de Jongh, Fan Yang
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. TbiLLC (2009)
Marta Bílková, Dick de Jongh, Joost J. Joosten
Interpretability in PRA. Ann. Pure Appl. Log. 161 (2) (2009)
Dick de Jongh, Sujata Ghosh
Comparing Strengths of Beliefs Explicitly. MALLOW (2009)
Tahsin Oner, Dick de Jongh
The Structure of Rigid Frames of Depth 3 Only. TbiLLC (2007)
Carlos Areces, Eva Hoogland, Dick de Jongh
Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic (1998)
Dick de Jongh, Marc Jumelet, Franco Montagna
On the proof of Solovay's theorem. Stud Logica 50 (1) (1991)
Dick de Jongh, Albert Visser
Explicit Fixed Points in Interpretability Logic. Stud Logica 50 (1) (1991)
Dick de Jongh, Franco Montagna
Rosser orderings and free variables. Stud Logica 50 (1) (1991)
Dick de Jongh, Franco Montagna
Much Shorter Proofs. Math. Log. Q. 35 (3) (1989)