Dick de Jongh

Dick De Jongh

	2012
15		Nick Bezhanishvili, Dick de Jongh: Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100(1-2): 61-89 (2012)
	2011
14		Dick de Jongh, Rineke Verbrugge, Albert Visser: Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011)
	2009
13		Dick de Jongh, Sujata Ghosh: Comparing Strengths of Beliefs Explicitly. MALLOW 2009
12		Dick de Jongh, Fan Yang: Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. TbiLLC 2009: 53-76
11		Marta Bílková, Dick de Jongh, Joost J. Joosten: Interpretability in PRA. Ann. Pure Appl. Logic 161(2): 128-138 (2009)
10		Çigdem Gencer, Dick De Jongh: Unifiability in extensions of K4. Logic Journal of the IGPL 17(2): 159-172 (2009)
	2007
9		Tahsin Oner, Dick de Jongh: The Structure of Rigid Frames of Depth 3 Only. TbiLLC 2007: 16-22
	2005
8		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
7		Dick De Jongh, Lex Hendriks: Characterization of strongly equivalent logic programs in intermediate logics. TPLP 3(3): 259-270 (2003)
	2002
6		Dick De Jongh, Lex Hendriks: Characterization of Strongly Equivalent Logic Programs in Intermediate Logics CoRR cs.LO/0206005: (2002)
	1998
5		Carlos Areces, Eva Hoogland, Dick de Jongh: Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic 1998: 35-58
	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)

Coauthor Index

1	Carlos Areces	[5]
2	Nick Bezhanishvili	[15]
3	Marta Bílková	[11]
4	Lilia Chagrova (L. A. Chagrova)	[3]
5	Dov M. Gabbay	[1]
6	Çigdem Gencer	[10]
7	Sujata Ghosh	[13]
8	Lex Hendriks	[2] [6] [7]
9	Eva Hoogland	[5]
10	Rosalie Iemhoff	[8]
11	Joost J. Joosten	[11]
12	Makoto Kanazawa	[4]
13	Gerard R. Renardel de Lavalette	[2]
14	Tahsin Oner	[9]
15	Rineke Verbrugge (L. C. Verbrugge)	[14]
16	Albert Visser	[14]
17	Fan Yang	[12]
18	Chunlai Zhou	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page