Dick de Jongh

39 papers A* 1B 1Journal 25Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Extending antichains in the poset $\langle [\omega ]^{<\omega },\subseteq \rangle $.
Arch. Math. Log.
Francisco Santiago Nieto-de la Rosa, Ulises Ariet Ramos-García, Ana Lucia Vargas Sandoval, Dick de Jongh
2024 J jnl
Binary modal logic and unary modal logic.
Log. J. IGPL
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
2021 J jnl
NNIL-formulas revisited: Universal models and finite model property.
J. Log. Comput.
Julia Ilin, Dick de Jongh, Fan Yang
2020 J jnl
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.
Bull. Symb. Log.
Dick de Jongh, Joan Rand Moschovakis
2018 J jnl
Stable Formulas in Intuitionistic Logic.
Notre Dame J. Formal Log.
Nick Bezhanishvili, Dick de Jongh
2017 — conf
A Study of Subminimal Logics of Negation and Their Modal Companions.
TbiLLC
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
2017 — conf
Finite Identification with Positive and with Complete Data.
TbiLLC
Dick de Jongh, Ana Lucia Vargas Sandoval
2017 J jnl
Subminimal negation.
Soft Comput.
Almudena Colacito, Dick de Jongh, Ana Lucia Vargas
2017 — conf
Two Neighborhood Semantics for Subintuitionistic Logics.
TbiLLC
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
2017 J jnl
Weak subintuitionistic logics.
Log. J. IGPL
Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh
2015 — conf
Subintuitionistic Logics with Kripke Semantics.
TbiLLC
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
2015 — conf
Universal Models for the Positive Fragment of Intuitionistic Logic.
TbiLLC
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
2014 — ch.
Logic and Learning.
Johan van Benthem on Logic and Information Dynamics
Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh
2013 J jnl
Comparing strengths of beliefs explicitly.
Log. J. IGPL
Sujata Ghosh, Dick de Jongh
2013 — conf
Duality and Universal Models for the Meet-Implication Fragment of IPC.
TbiLLC
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
2013 J jnl
On the Complexity of Conclusive Update.
Comput. J.
Nina Gierasimczuk, Dick de Jongh
2013 — conf
Positive Formulas in Intuitionistic and Minimal Logic.
TbiLLC
Dick de Jongh, Zhiguang Zhao
2012 J jnl
Extendible Formulas in Two Variables in Intuitionistic Logic.
Stud Logica
Nick Bezhanishvili, Dick de Jongh
2012 J jnl
Intuitionistic implication without disjunction.
J. Log. Comput.
Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh
2011 J jnl
Intermediate Logics and the de Jongh property.
Arch. Math. Log.
Dick de Jongh, Rineke Verbrugge, Albert Visser
2009 — conf
Comparing Strengths of Beliefs Explicitly.
MALLOW
Dick de Jongh, Sujata Ghosh
2009 J jnl
Interpretability in PRA.
Ann. Pure Appl. Log.
Marta Bílková, Dick de Jongh, Joost J. Joosten
2009 — conf
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
TbiLLC
Dick de Jongh, Fan Yang
2009 J jnl
Unifiability in extensions of K4.
Log. J. IGPL
Çigdem Gencer, Dick de Jongh
2007 — conf
The Structure of Rigid Frames of Depth 3 Only.
TbiLLC
Tahsin Oner, Dick de Jongh
2005 J jnl
Properties of Intuitionistic Provability and Preservativity Logics.
Log. J. IGPL
Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou
2003 J jnl
Characterization of strongly equivalent logic programs in intermediate logics.
Theory Pract. Log. Program.
Dick de Jongh, Lex Hendriks
2002 J jnl
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
CoRR
Dick de Jongh, Lex Hendriks
1998 B conf
Interpolation, Definability and Fixed Points in Interpretability Logics.
Advances in Modal Logic
Carlos Areces, Eva Hoogland, Dick de Jongh
1997 — ch.
Formal Learning Theory.
Handbook of Logic and Language
Daniel N. Osherson, Dick de Jongh, Eric Martin, Scott Weinstein
1996 A* conf
Angluin's Theorem for Indexed Families of r.e. Sets and Applications.
COLT
Dick de Jongh, Makoto Kanazawa
1995 J jnl
The Decidability of Dependency in Intuitionistic Propositional Logic.
J. Symb. Log.
Dick de Jongh, L. A. Chagrova
1991 J jnl
Computations in Fragments of Intuitionistic Propositional Logic.
J. Autom. Reason.
Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
1991 J jnl
Explicit Fixed Points in Interpretability Logic.
Stud Logica
Dick de Jongh, Albert Visser
1991 J jnl
On the proof of Solovay's theorem.
Stud Logica
Dick de Jongh, Marc Jumelet, Franco Montagna
1991 J jnl
Rosser orderings and free variables.
Stud Logica
Dick de Jongh, Franco Montagna
1989 J jnl
Much Shorter Proofs.
Math. Log. Q.
Dick de Jongh, Franco Montagna
1988 J jnl
Provable Fixed Points.
Math. Log. Q.
Dick de Jongh, Franco Montagna
1974 J jnl
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.
J. Symb. Log.
Dov M. Gabbay, Dick de Jongh