De Jong, E., De Haro, S. (2024) Technological Understanding: On the cognitive skill involved in the design and use of technological artefacts.

Preprint | https://philsci-archive.pitt.edu/24841/ | UvA-DARE

de Jongh, D., Chagrova, L. (1995) The decidability of dependency in intuitionistic propositional logic.

Journal of Symbolic Logic, Vol. 60 (pp 498-504)

Article | https://doi.org/10.2307/2275844 | UvA-DARE

de Jongh, D., Hendriks, A. (2003) Characterization of strongly equivalent logic programs in intermediate logics.

Theory and Practice of Logic Programming, Vol. 3 (pp 259-270)

Article | UvA-DARE

de Jongh, D., Iemhoff, R., Zhou, C. (2004) Properties of Intuitionistic Provability and Preservativity Logics.

In Carnielli, W.A. Dionisio, F.M. Mateus, P. (Eds.), CombLog'04, Workshop on Combination of Logics: Theory and Applications

de Jongh, D., Kanazawa, M. (1996) Angluin's theorem for indexed families of r.e. sets and applications.

In Proceedings of the ninth annual conference on computational learning theory (pp 193-204). The Association for Computing Machinery.

de Jongh, D., Liu, F. (2006) Optimality, Belief and Preference.

In Artemov, S, Parikh, R. (Eds.), Proceedings of the Workshop on Rationality and Knowledge, ESSLLI, 2006 (pp 48-59). Universidad de Malaga.

de Jongh, D., Liu, F. (2006) Optimality, Belief and Preference.

Institute for Logic, Language and Computation.

Working paper | UvA-DARE

de Jongh, D., Liu, F. (2009) Preference, priorities and belief.

In Grüne-Yanoff, T. Hansson, S.O. (Eds.), Preference change: Approaches from philosophy, economics and psychology (pp 85-107) (Theory and decision library. Series A, Philosophy and methodology of the social sciences). Springer.

de Jongh, D., Moschovakis, J.R. (2020) In memoriam: Anne Sjerp Troelstra 1939–2019.

Bulletin of Symbolic Logic, Vol. 26 (pp 293-295)

Article | https://doi.org/10.1017/bsl.2020.24 | UvA-DARE

de Jongh, D., Safarova, M., Zeevat, H. (2002) Proceedings of the 4th Tbilisi Conference on Logic and Language.

University of Amsterdam.

Book (Editorship) | UvA-DARE

de Jongh, D., Shirmohammadzadeh Maleki, F. (2017) Subintuitionistic Logics with Kripke Semantics.

In Hansen, H.H. Murray, S.E. Sadrzadeh, M. Zeevat, H. (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp 333-354) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10148). Springer.

de Jongh, D., Shirmohammadzadeh Maleki, F. (2018) Subintuitionistic logics and the implications they prove.

Indagationes Mathematicae, Vol. 29 (pp 1525-1545)

Article | https://doi.org/10.1016/j.indag.2018.01.013 | UvA-DARE

de Jongh, D., Shirmohammadzadeh Maleki, F. (2019) Two Neighborhood Semantics for Subintuitionistic Logics.

In Silva, A. Staton, S. Sutton, P. Umbach, C. (Eds.), Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers (pp 64-85) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11456). Springer.

de Jongh, D., Shirmohammadzadeh Maleki, F. (2021) Binary Modal Companions for Subintuitionistic Logics.

In Mojtahedi, M. Rahman, S. Zarepour, M.S. (Eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir (pp 35-52) (Logic, Epistemology, and the Unity of Science, Vol. 49). Springer.

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.

de Jongh, D., Veltman, F. (1999) Intensional logics.

Unknown Publisher.

Book | 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., 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.

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.