Dick de Jongh

Dick De Jongh

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j11		Nina Gierasimczuk, Dick de Jongh: On the Complexity of Conclusive Update. Comput. J. 56(3): 365-377 (2013)
	2012
j10		Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh: Intuitionistic implication without disjunction. J. Log. Comput. 22(3): 375-404 (2012)
j9		Nick Bezhanishvili, Dick de Jongh: Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100(1-2): 61-89 (2012)
	2011
j8		Dick de Jongh, Rineke Verbrugge, Albert Visser: Intermediate Logics and the de Jongh property. Arch. Math. Log. 50(1-2): 197-213 (2011)
	2009
j7		Marta Bílková, Dick de Jongh, Joost J. Joosten: Interpretability in PRA. Ann. Pure Appl. Logic 161(2): 128-138 (2009)
j6		Çigdem Gencer, Dick De Jongh: Unifiability in extensions of K4. Logic Journal of the IGPL 17(2): 159-172 (2009)
c5		Dick de Jongh, Sujata Ghosh: Comparing Strengths of Beliefs Explicitly. MALLOW 2009
c4		Dick de Jongh, Fan Yang: Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. TbiLLC 2009: 53-76
	2007
c3		Tahsin Oner, Dick de Jongh: The Structure of Rigid Frames of Depth 3 Only. TbiLLC 2007: 16-22
	2005
j5		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
j4		Dick De Jongh, Lex Hendriks: Characterization of strongly equivalent logic programs in intermediate logics. TPLP 3(3): 259-270 (2003)
	2002
i1		Dick De Jongh, Lex Hendriks: Characterization of Strongly Equivalent Logic Programs in Intermediate Logics. CoRR cs.LO/0206005 (2002)
	1998
c2		Carlos Areces, Eva Hoogland, Dick de Jongh: Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic 1998: 35-58
	1996
c1		Dick De Jongh, Makoto Kanazawa: Angluin's Theorem for Indexed Families of r.e. Sets and Applications. COLT 1996: 193-204
	1995
j3		Dick De Jongh, L. A. Chagrova: The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60(2): 498-504 (1995)
	1991
j2		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
j1		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	[c2]
2	Nick Bezhanishvili	[j9]
3	Marta Bílková	[j7]
4	Lilia Chagrova (L. A. Chagrova)	[j3]
5	Dov M. Gabbay	[j1]
6	Çigdem Gencer	[j6]
7	Sujata Ghosh	[c5]
8	Nina Gierasimczuk	[j11]
9	Lex Hendriks (Alex Hendriks)	[j10] [j4] [i1] [j2]
10	Eva Hoogland	[c2]
11	Rosalie Iemhoff	[j5]
12	Joost J. Joosten	[j7]
13	Makoto Kanazawa	[c1]
14	Gerard R. Renardel de Lavalette	[j10] [j2]
15	Tahsin Oner	[c3]
16	Rineke Verbrugge (L. C. Verbrugge)	[j8]
17	Albert Visser	[j8]
18	Fan Yang	[c4]
19	Chunlai Zhou	[j5]

Colors in the list of coauthors

Last update Sun May 19 09:29:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page