Dick de Jongh

Affiliations:
  • University of Amsterdam, Netherlands


According to our database1, Dick de Jongh authored at least 36 papers between 1974 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Binary modal logic and unary modal logic.
Log. J. IGPL, 2024

2021
NNIL-formulas revisited: Universal models and finite model property.
J. Log. Comput., 2021

2020
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.
Bull. Symb. Log., 2020

2018
Stable Formulas in Intuitionistic Logic.
Notre Dame J. Formal Log., 2018

2017
Subminimal negation.
Soft Comput., 2017

Weak subintuitionistic logics.
Log. J. IGPL, 2017

Finite Identification with Positive and with Complete Data.
Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

Two Neighborhood Semantics for Subintuitionistic Logics.
Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

A Study of Subminimal Logics of Negation and Their Modal Companions.
Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2015
Subintuitionistic Logics with Kripke Semantics.
Proceedings of the Logic, Language, and Computation, 2015

Universal Models for the Positive Fragment of Intuitionistic Logic.
Proceedings of the Logic, Language, and Computation, 2015

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

2013
Comparing strengths of beliefs explicitly.
Log. J. IGPL, 2013

On the Complexity of Conclusive Update.
Comput. J., 2013

Positive Formulas in Intuitionistic and Minimal Logic.
Proceedings of the Logic, Language, and Computation, 2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.
Proceedings of the Logic, Language, and Computation, 2013

2012
Extendible Formulas in Two Variables in Intuitionistic Logic.
Stud Logica, 2012

Intuitionistic implication without disjunction.
J. Log. Comput., 2012

2011
Intermediate Logics and the de Jongh property.
Arch. Math. Log., 2011

2009
Unifiability in extensions of K4.
Log. J. IGPL, 2009

Interpretability in PRA.
Ann. Pure Appl. Log., 2009

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
Proceedings of the Logic, Language, and Computation, 2009

2007
The Structure of Rigid Frames of Depth 3 Only.
Proceedings of the Logic, 2007

2005
Properties of Intuitionistic Provability and Preservativity Logics.
Log. J. IGPL, 2005

2003
Characterization of strongly equivalent logic programs in intermediate logics.
Theory Pract. Log. Program., 2003

1998
Interpolation, Definability and Fixed Points in Interpretability Logics.
Proceedings of the Advances in Modal Logic 2, 1998

1997
Formal Learning Theory.
Proceedings of the Handbook of Logic and Language., 1997

1996
Angluin's Theorem for Indexed Families of r.e. Sets and Applications.
Proceedings of the Ninth Annual Conference on Computational Learning Theory, 1996

1995
The Decidability of Dependency in Intuitionistic Propositional Logic.
J. Symb. Log., 1995

1991
Explicit Fixed Points in Interpretability Logic.
Stud Logica, 1991

Rosser orderings and free variables.
Stud Logica, 1991

On the proof of Solovay's theorem.
Stud Logica, 1991

Computations in Fragments of Intuitionistic Propositional Logic.
J. Autom. Reason., 1991

1989
Much Shorter Proofs.
Math. Log. Q., 1989

1988
Provable Fixed Points.
Math. Log. Q., 1988

1974
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.
J. Symb. Log., 1974


  Loading...