Search the dblp DataBase

Publications of Author

1. Carlos Areces, Eva Hoogland, Dick de Jongh
   Interpolation, Definability and Fixed Points in Interpretability Logics. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 1998, pp:35-58 [Conf]
   
2. Dick de Jongh, Makoto Kanazawa
   Angluin's Theorem for Indexed Families of r.e. Sets and Applications. [Citation Graph (0, 0)][DBLP]
   COLT, 1996, pp:193-204 [Conf]
   
3. Dick de Jongh, Lex Hendriks
   Characterization of Strongly Equivalent Logic Programs in Intermediate Logics [Citation Graph (0, 0)][DBLP]
   CoRR, 2002, v:0, n:, pp:- [Journal]
   
4. Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou
   Properties of Intuitionistic Provability and Preservativity Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:6, pp:615-636 [Journal]
   
5. Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
   Computations in Fragments of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1991, v:7, n:4, pp:537-561 [Journal]
   
6. Dov M. Gabbay, Dick de Jongh
   A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:67-78 [Journal]
   
7. Dick de Jongh, L. A. Chagrova
   The Decidability of Dependency in Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1995, v:60, n:2, pp:498-504 [Journal]
   
8. Dick de Jongh, Lex Hendriks
   Characterization of strongly equivalent logic programs in intermediate logics. [Citation Graph (0, 0)][DBLP]
   TPLP, 2003, v:3, n:3, pp:259-270 [Journal]
   
9. 
   The Structure of Rigid Frames of Depth 3 Only. [Citation Graph (, )][DBLP]
   
   
10. 
    Comparing Strengths of Beliefs Explicitly. [Citation Graph (, )][DBLP]
    
    
11. 
    Interpretability in PRA. [Citation Graph (, )][DBLP]