Search the dblp DataBase
Dick de Jongh :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] The Structure of Rigid Frames of Depth 3 Only. [Citation Graph (, )][DBLP ] Comparing Strengths of Beliefs Explicitly. [Citation Graph (, )][DBLP ] Interpretability in PRA. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs