The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dick de Jongh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002