Searchable List of Research Output

Filter Publications
  • de Jongh, D., van Ulsen, P. (1999) Beth's Nonclassical Valuations.
    Philosophiae Scientiae, Vol. 3 (pp 279-302)
    Article | UvA-DARE
  • de Jongh, D., Veltman, F., Verbrugge, R. (2004) Completeness by construction for tense logics of linear time.
    In A.S. Troelstra (Eds.), Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh. Institute for Logic, Language and Computation.
    Chapter | UvA-DARE
  • de Jongh, D., Veltman, F. (1999) Intensional logics.
    Unknown Publisher.
    Book | UvA-DARE
  • de Jongh, D., Veltman, F. (1999) The modal completences of ILW.
    In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.
    Chapter | UvA-DARE
  • de Jongh, D., Veltman, F. (1999) The Modal Completeness of ILW.
    Vossiuspers - Amsterdam University Press.
    Digital or Visual Products | UvA-DARE
  • de Jongh, D., Verbrugge, R., Visser, A. (2009) Intermediate logics and the de Jongh property.
    In Cintula, P. Haniková, Z. Švejdar, V. (Eds.), Witnessed years: essays in honour of Petr Hájek (pp 33-52) (Tributes, Vol. 10). College Publications.
  • de Jongh, D., Verbrugge, R., Visser, A. (2011) Intermediate Logics and the de Jongh property.
    Archive for Mathematical Logic, Vol. 50 (pp 197-213)
  • de Jongh, D., Visser, A. (1996) Embeddings of Heyting algebras.
    In Hodges, W. Hyland, M. Steinhorn, C. Truss, J. (Eds.), Logic: from foundations to applications: European logic colloguium (pp 187-214). Clarendon Press.
    Chapter | UvA-DARE
  • de Jongh, D., Visser, A.P. (1995) Embeddings of Heyting Algebras.
    Research Report. onbekend (FdL).
    Report | UvA-DARE
  • de Jongh, D., Yang, F. (2011) Jankov's theorems for intermediate logics in the setting of universal models.
    In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 53-76) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.
  • de Jongh, D., Zhao, Z. (2015) Positive Formulas in Intuitionistic and Minimal Logic.
    In Aher, M. Hole, D. Jeřábek, E. Kupke, C. (Eds.), Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: revised selected papers (pp 175-189) (Lecture Notes in Computer Science, Vol. 8984). Springer.
  • de Jongh, D. (1998) The logic of the provability.
    In Buss, S. (Eds.), Handbook of proof theory (pp 475-546) (-). North- Holland Elsevier.
    Chapter | UvA-DARE
  • de Jongh, D. (1998) Solution of a problem of David Guaspari.
    In Orlowska, E. (Eds.), Logic at work: Essays dedicated to the memory of Helena Rasiowa (pp 246-254) (-). Physica- verlag Springer.
    Chapter | UvA-DARE
  • de Jongh, D. (2000) Learning and Grammar.
    In Quesada, J.F. Salguero, F.J. Nepomuceno, A. (Eds.), Logic, Language and Information, Proceedings of the First Workshop on Logica and Language (pp 139-146). Editorial Kronos.
    Conference contribution | UvA-DARE
  • de Jongh, D. (2001) Intuicionismo.
    In Murcho, Desidério Branquinho, Joao (Eds.), Enciclopedia de Termos Lógico-Filosóficos (pp 413-417)
    Chapter | UvA-DARE
  • de Jongh, D. (2004) Volledigheid en Onvolledigheid.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • de Jongh, D. (2007) The Incompleteness Theorems, their content and their meaning.
    Zhexue Dongtai, Vol. 2006 (pp 47-55)
    Article | UvA-DARE
  • de Jongh, D. (2007) Intuicionismo.
    Azafea, Vol. 8 (pp 53-69)
    Article | UvA-DARE
  • de Jongh, D. (2024) Notes on My Scientific Life.
    In Bezhanishvili, N. Iemhoff, R. Yang, F. (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp 1-31) (Outstanding Contributions to Logic, Vol. 28). Springer.
  • de Keijzer, B., Apt, K.R. (2013) The H-index can be Easily Manipulated.
    Bulletin of the European Association for Theoretical Computer Science, Vol. 110 (pp 79-85)

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact