Asatianti, A., Balogh, K., Chikoidze, G., Dekker, P. J. E., & de Jongh, D. H. J. (2004). Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University Press.
de Jongh, D. H. J., Iemhoff, R., & Zhou, C. (2004). Properties of Intuitionistic Provability and Preservativity Logics. In W. A. Carnielli, F. M. Dionisio, & P. Mateus (Eds.), CombLog'04, Workshop on Combination of Logics: Theory and Applications
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.
Areces, C. E., Hoogland, E., & de Jongh, D. H. J. (2000). Interpolation, Definability and Fixed Points in Interpretability Logics. In K. Segerberg, M. Zakharyaschev, M. de Rijke, & H. Wansing (Eds.), Advances in Modal Logic (pp. 35-58). (CSLI Publications; No. 2). CSLI.
