For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Prof. dr. D.H.J. (Dick) de Jongh

Faculty of Science
ILLC

Visiting address
  • Science Park 105
  • Room number: F1.22A
Postal address
  • Postbus 94242
    1090 GE Amsterdam
  • Publications

    2021

    • Ilin, J., de Jongh, D., & Yang, F. (2021). NNIL-formulas revisited: Universal models and finite model property. Journal of Logic and Computation, 31(2), 573–596. Advance online publication. https://doi.org/10.1093/logcom/exaa063 [details]
    • de Jongh, D., & Shirmohammadzadeh Maleki, F. (2021). Binary Modal Companions for Subintuitionistic Logics. In M. Mojtahedi, S. Rahman, & M. S. Zarepour (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. https://doi.org/10.1007/978-3-030-53654-1_2 [details]

    2019

    • Bezhanishvili, N., Colacito, A., & de Jongh, D. (2019). A study of subminimal logics of negation and their modal companions. In A. Silva, S. Staton, P. Sutton, & C. Umbach (Eds.), Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers (pp. 21-41). (Lecture Notes in Computer Science; Vol. 11456), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59565-7_2 [details]
    • de Jongh, D., & Shirmohammadzadeh Maleki, F. (2019). Two Neighborhood Semantics for Subintuitionistic Logics. In A. Silva, S. Staton, P. Sutton, & C. Umbach (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; Vol. 11456), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59565-7_4 [details]

    2018

    2017

    • Bezhanishvili, N., de Jongh, D., Tzimoulis, A., & Zhao, Z. (2017). Universal models for the positive fragment of intuitionistic logic. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (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. 229-250). (Lecture Notes in Computer Science; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_13 [details]
    • Colacito, A., de Jongh, D., & Vargas Sandoval, A. L. (2017). Subminimal negation. Soft Computing, 21(1), 165-174. Advance online publication. https://doi.org/10.1007/s00500-016-2391-8 [details]
    • Shirmohammadzadeh Maleki, F., & de Jongh, D. (2017). Weak subintuitionistic logics. Logic Journal of the IGPL, 25(2), 214-231. Advance online publication. https://doi.org/10.1093/jigpal/jzw062 [details]
    • de Jongh, D., & Shirmohammadzadeh Maleki, F. (2017). Subintuitionistic Logics with Kripke Semantics. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (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; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_18 [details]

    2015

    • Bezhanishvili, N., Coumans, D., van Gool, S. J., & de Jongh, D. (2015). Duality and universal models for the meet-implication fragment of IPC. In M. Aher, D. Hole, E. Jeřábek, & C. Kupke (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. 97-116). (Lecture Notes in Computer Science; Vol. 8984). Springer. https://doi.org/10.1007/978-3-662-46906-4_7 [details]
    • de Jongh, D., & Zhao, Z. (2015). Positive Formulas in Intuitionistic and Minimal Logic. In M. Aher, D. Hole, E. Jeřábek, & C. Kupke (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. https://doi.org/10.1007/978-3-662-46906-4_11 [details]

    2013

    2012

    2011

    • de Jongh, D., & Yang, F. (2011). Jankov's theorems for intermediate logics in the setting of universal models. In N. Bezhanishvili, S. Löbner, K. Schwabe, & L. Spada (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; Vol. 6618), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-22303-7_5 [details]
    • de Jongh, D., Verbrugge, R., & Visser, A. (2011). Intermediate Logics and the de Jongh property. Archive for Mathematical Logic, 50(1-2), 197-213. Advance online publication. https://doi.org/10.1007/s00153-010-0209-4 [details]

    2010

    2009

    2008

    2014

    • Gierasimczuk, N., Hendricks, V. F., & de Jongh, D. M. C. (2014). Logic and Learning. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 267-288). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5_10 [details]

    2010

    • Gierasimczuk, N., & de Jongh, D. (2010). On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages. In D. Grossi, L. Kurzen, & F. R. Velázquez-Quesada (Eds.), 2009 Yearbook of Logic and Interactive Rationality (LIRA) Seminar Amsterdam: ILLC, UvA.

    2020

    2012

    • Gierasimczuk, N., & de Jongh, D. (2012). On the Complexity of Conclusive Update. Paper presented at 26th International Symposium on Computer and Information Sciences, London 2011, .
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    No ancillary activities