Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

dhr. prof. dr. D.H.J. (Dick) de Jongh

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
  • Kamernummer: F1.22A
Postadres
  • Postbus 94242
    1090 GE Amsterdam
  • Publicaties

    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). Berlin: 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. https://doi.org/10.1007/s00500-016-2391-8 [details]
    • Maleki, F. S., & de Jongh, D. (2017). Weak subintuitionistic logics. Logic Journal of the IGPL, 25(2), 214-231. https://doi.org/10.1093/jigpal/jzw062 [details]
    • de Jongh, D., & Maleki, F. S. (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). Berlin: 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). Berlin: 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). Berlin: 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). Heidelberg: 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. https://doi.org/10.1007/s00153-010-0209-4 [details]

    2010

    2009

    • Bílková, M., de Jongh, D., & Joosten, J. J. (2009). Interpretability in PRA. Annals of Pure and Applied Logic, 161(2), 128-138. https://doi.org/10.1016/j.apal.2009.05.012 [details]
    • Gencer, Ç., & de Jongh, D. (2009). Unifiability in extensions of K4. Logic Journal of the IGPL, 17(2), 159-172. https://doi.org/10.1093/jigpal/jzn032 [details]
    • de Jongh, D., & Liu, F. (2009). Preference, priorities and belief. In T. Grüne-Yanoff, & S. O. Hansson (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; No. 42). Dordrecht: Springer. https://doi.org/10.1007/978-90-481-2593-7_4 [details]
    • de Jongh, D., Verbrugge, R., & Visser, A. (2009). Intermediate logics and the de Jongh property. In P. Cintula, Z. Haniková, & V. Švejdar (Eds.), Witnessed years: essays in honour of Petr Hájek (pp. 33-52). (Tributes; Vol. 10). London: College Publications. [details]

    2008

    • Bezhanishvili, G., Bezhanishvili, N., & de Jongh, D. (2008). The Kuznetsov-Gerčiu and Rieger-Nishimura logics: The boundaries of the finite model property. Logic and Logical Philosophy, 17(1-2), 73-110. [details]

    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). Cham: 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.

    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.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden bekend