Dick de Jongh

According to our database, Dick de Jongh authored at least 35 papers between 1974 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

NNIL-formulas revisited: Universal models and finite model property.

Julia Ilin, Dick de Jongh, Fan Yang

J. Log. Comput., 2021

2020

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.

Dick de Jongh, Joan Rand Moschovakis

Bull. Symb. Log., 2020

2018

Stable Formulas in Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh

Notre Dame J. Formal Log., 2018

2017

Subminimal negation.

Almudena Colacito, Dick de Jongh, Ana Lucia Vargas

Soft Comput., 2017

Weak subintuitionistic logics.

Fatemeh Shirmohammadzadeh Maleki, Dick De Jongh

Log. J. IGPL, 2017

Finite Identification with Positive and with Complete Data.

Dick de Jongh, Ana Lucia Vargas Sandoval

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

Two Neighborhood Semantics for Subintuitionistic Logics.

Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

A Study of Subminimal Logics of Negation and Their Modal Companions.

Nick Bezhanishvili, Almudena Colacito, Dick de Jongh

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2015

Subintuitionistic Logics with Kripke Semantics.

Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki

Proceedings of the Logic, Language, and Computation, 2015

Universal Models for the Positive Fragment of Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2015

2014

Logic and Learning.

Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Comparing strengths of beliefs explicitly.

Sujata Ghosh, Dick de Jongh

Log. J. IGPL, 2013

On the Complexity of Conclusive Update.

Nina Gierasimczuk, Dick de Jongh

Comput. J., 2013

Positive Formulas in Intuitionistic and Minimal Logic.

Dick de Jongh, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.

Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh

Proceedings of the Logic, Language, and Computation, 2013

2012

Extendible Formulas in Two Variables in Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh

Stud Logica, 2012

Intuitionistic implication without disjunction.

Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh

J. Log. Comput., 2012

2011

Intermediate Logics and the de Jongh property.

Dick de Jongh, Rineke Verbrugge, Albert Visser

Arch. Math. Log., 2011

2009

Unifiability in extensions of K4.

Çigdem Gencer, Dick De Jongh

Log. J. IGPL, 2009

Interpretability in PRA.

Marta Bílková, Dick de Jongh, Joost J. Joosten

Ann. Pure Appl. Log., 2009

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.

Dick de Jongh, Fan Yang

Proceedings of the Logic, Language, and Computation, 2009

2007

The Structure of Rigid Frames of Depth 3 Only.

Tahsin Oner, Dick de Jongh

Proceedings of the Logic, 2007

2005

Properties of Intuitionistic Provability and Preservativity Logics.

Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou

Log. J. IGPL, 2005

2003

Characterization of strongly equivalent logic programs in intermediate logics.

Dick De Jongh, Lex Hendriks

Theory Pract. Log. Program., 2003

1998

Interpolation, Definability and Fixed Points in Interpretability Logics.

Carlos Areces, Eva Hoogland, Dick de Jongh

Proceedings of the Advances in Modal Logic 2, 1998

1997

Formal Learning Theory.

Daniel N. Osherson, Dick de Jongh, Eric Martin, Scott Weinstein

Proceedings of the Handbook of Logic and Language., 1997

1996

Angluin's Theorem for Indexed Families of r.e. Sets and Applications.

Dick De Jongh, Makoto Kanazawa

Proceedings of the Ninth Annual Conference on Computational Learning Theory, 1996

1995

The Decidability of Dependency in Intuitionistic Propositional Logic.

Dick De Jongh, L. A. Chagrova

J. Symb. Log., 1995

1991

Explicit Fixed Points in Interpretability Logic.

Dick de Jongh, Albert Visser

Stud Logica, 1991

Rosser orderings and free variables.

Dick de Jongh, Franco Montagna

Stud Logica, 1991

On the proof of Solovay's theorem.

Dick de Jongh, Marc Jumelet, Franco Montagna

Stud Logica, 1991

Computations in Fragments of Intuitionistic Propositional Logic.

Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette

J. Autom. Reason., 1991

1989

Much Shorter Proofs.

Dick de Jongh, Franco Montagna

Math. Log. Q., 1989

1988

Provable Fixed Points.

Dick De Jongh, Franco Montagna

Math. Log. Q., 1988

1974

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.

Dov M. Gabbay, Dick De Jongh

J. Symb. Log., 1974