Searchable List of Research Output

Filter Publications
  • 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.
    Chapter | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
  • 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)
  • 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)
  • 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.
    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.

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