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


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • Bezoekadres
    Science Park 107
    Science Park 105  Amsterdam
    Kamernummer: F1.22A
  • Postadres:
    Postbus  94242
    1090 GE  Amsterdam
  • D.H.J.deJongh@uva.nl
    T: 0205258246
    T: 0205256051

2016

  • Bezhanishvili, N., & de Jongh, D. H. J. (2016). Stable formulas in intuitionistic logic. Notre Dame Journal of Formal Logic[details]

2015

  • Bezhanishvili, N., Coumans, D., van Gool, S., & de Jongh, D. H. J. (2015). Duality and universal models for the meet-implication fragment of IPC. Lecture Notes in Computer Science, 8984. DOI: 10.1007/978-3-662-46906-4_7 [details]
  • de Jongh, D., & Zhao, Z. (2015). Positive Formulas in Intuitionistic and Minimal Logic. Lecture Notes in Computer Science, 8984, 175-189. DOI: 10.1007/978-3-662-46906-4 [details] [PDF]

2013

  • Ghosh, S., & de Jongh, D. (2013). Comparing strengths of beliefs explicitly. Logic Journal of the IGPL, 21(3), 488-514. DOI: 10.1093/jigpal/jzs050 [details]
  • Gierasimczuk, N., & de Jongh, D. H. J. (2013). On the Complexity of Conclusive Update. Computer Journal, 56(3), 365-377. DOI: 10.1093/comjnl/bxs059 [details]

2012

  • Bezhanishvili, N., & de Jongh, D. (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica, 100(1-2), 61-89. DOI: 10.1007/s11225-012-9389-8 [details]

2011

  • de Jongh, D. H. J., Verbrugge, R., & Visser, A. (2011). Intermediate Logics and the de Jongh property. Archive for Mathematical Logic, 50, 197-213. DOI: DOI 10.1007/s00153-010-0209-4 [details]
  • de Jongh, D., & Yang, F. (2011). Jankov's theorems for intermediate logics in the setting of universal models. Lecture Notes in Computer Science, 6618, 53-76. DOI: 10.1007/978-3-642-22303-7_5 [details]

2010

  • Renardel de Lavalette, G. R., Hendriks, A., & de Jongh, D. H. J. (2010). Intuitionistic implication without disjunction. Journal of Logic and Computation, 22(3), 375-404. DOI: 10.1093/logcom/exq058 [details]

2009

  • de Jongh, D. H. J., Verbrugge, R., & Visser, A. (2009). Intermediate logics and the de Jongh property. In P. Cintula, Z. Hanikova, & V. Svejdar (Eds.), Witnessed years: Essays in honour of Petr Hajek. (pp. 33-52). (Tributes; No. 10). London: College Publications. [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. DOI: 10.1007/978-90-481-2593-7_4 [details]
  • Bílková, M., de Jongh, D., & Joosten, J. J. (2009). Interpretability in PRA. Annals of Pure and Applied Logic, 161(2), 128-138. DOI: 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. DOI: 10.1093/jigpal/jzn032 [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]

2012

  • de Jongh, D. H. J., & Bezhanishvili, N. (2012). Extendible formulas in two variables in intuitionistic logic. (Prepublication Series; No. PP-2011-34). Amsterdam: Universiteit van Amsterdam, ILLC. [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. [details]

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, . [details]
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.

Geen nevenwerkzaamheden bekend

contactgegevens bewerken bewerk tabbladen