 | 2009 |
|---|
| 8 |       | Çigdem Gencer,
Dick De Jongh:
Unifiability in extensions of K4.
Logic Journal of the IGPL 17(2): 159-172 (2009) |
| 2005 |
|---|
| 7 | | Rosalie Iemhoff,
Dick De Jongh,
Chunlai Zhou:
Properties of Intuitionistic Provability and Preservativity Logics.
Logic Journal of the IGPL 13(6): 615-636 (2005) |
| 2003 |
|---|
| 6 |  | Dick De Jongh,
Lex Hendriks:
Characterization of strongly equivalent logic programs in intermediate logics.
TPLP 3(3): 259-270 (2003) |
| 2002 |
|---|
| 5 | | Dick De Jongh,
Lex Hendriks:
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
CoRR cs.LO/0206005: (2002) |
| 1996 |
|---|
| 4 | | Dick De Jongh,
Makoto Kanazawa:
Angluin's Theorem for Indexed Families of r.e. Sets and Applications.
COLT 1996: 193-204 |
| 1995 |
|---|
| 3 | | Dick De Jongh,
L. A. Chagrova:
The Decidability of Dependency in Intuitionistic Propositional Logic.
J. Symb. Log. 60(2): 498-504 (1995) |
| 1991 |
|---|
| 2 | | Dick De Jongh,
Lex Hendriks,
Gerard R. Renardel de Lavalette:
Computations in Fragments of Intuitionistic Propositional Logic.
J. Autom. Reasoning 7(4): 537-561 (1991) |
| 1974 |
|---|
| 1 | | Dov M. Gabbay,
Dick De Jongh:
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.
J. Symb. Log. 39(1): 67-78 (1974) |
