de Jongh, D. H. J. (2004). Volledigheid en Onvolledigheid. (Technical Reports). Institute for Logic, Language and Computation.
de Jongh, D. H. J., Veltman, F. J. M. M., & Verbrugge, R. (2004). Completeness by construction for tense logics of linear time. In A.S. Troelstra (Ed.), Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh Institute for Logic, Language and Computation.
de Jongh, D. H. J., & Hendriks, A. (2003). Characterization of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming, (3), 259-270.
van Benthem, J. F. A. K., Groenendijk, J. A. G., de Jongh, D. H. J., Stokhof, M. J. B., & Verkuyl, H. J. (2002). Introduccion a la lógica. Editorial Universitaria de Buenos Aires.
van Benthem, J. F. A. K., Groenendijk, J. A. G., de Jongh, D. H. J., Stokhof, M. J. B., & Verkuyl, H. (2002). Introducción a la Lógica. Eudeba.
de Jongh, D. H. J., Safarova, M., & Zeevat, H. W. (2002). Proceedings of the 4th Tbilisi Conference on Logic and Language. University of Amsterdam.
Hendriks, A., & de Jongh, D. H. J. (2001). Characterization of strongly equivalent logic programs in intermediate logics. (PP series ILLC; No. PP-2001-09). Institute for Logic Language and Computation.
de Jongh, D. H. J. (2001). Intuicionismo. In D. Murcho, & J. Branquinho (Eds.), Enciclopedia de Termos Lógico-Filosóficos (pp. 413-417).
Hoogland, E. (2001). Definability and Interpolation: Model-theoretic investigations. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Agostini, A., de Jongh, D. H. J., & Montagna, F. (2000). Coordination of 01-agents vs. coordination worlds-based agents. (Technical Reports; No. PP-2000-15). Institute for Logic, Language and Computation.
