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
Contactgegevens
-
Publicaties
- refereed (23)
- wetenschappelijk (2)
- vakpublicatie (1)
- populair wetenschappelijk (1)
- congresbijdragen (1)
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. 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
- Bezhanishvili, N., & de Jongh, D. (2018). Stable formulas in intuitionistic logic. Notre Dame Journal of Formal Logic, 59(3), 307-324. https://doi.org/10.1215/00294527-2017-0030 [details]
- de Jongh, D., & Shirmohammadzadeh Maleki, F. (2018). Subintuitionistic logics and the implications they prove. Indagationes Mathematicae, 29(6), 1525-1545. https://doi.org/10.1016/j.indag.2018.01.013 [details]
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. 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. 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
- Ghosh, S., & de Jongh, D. (2013). Comparing strengths of beliefs explicitly. Logic Journal of the IGPL, 21(3), 488-514. https://doi.org/10.1093/jigpal/jzs050 [details]
- Gierasimczuk, N., & de Jongh, D. (2013). On the Complexity of Conclusive Update. Computer Journal, 56(3), 365-377. https://doi.org/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. https://doi.org/10.1007/s11225-012-9389-8 [details]
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. https://doi.org/10.1007/s00153-010-0209-4 [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. https://doi.org/10.1093/logcom/exq058 [details]
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). 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). College Publications. http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf [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. https://doi.org/10.12775/LLP.2008.006 [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). 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
- de Jongh, D., & Moschovakis, J. R. (2020). In memoriam: Anne Sjerp Troelstra 1939–2019. Bulletin of Symbolic Logic, 26(3-4), 293-295. https://doi.org/10.1017/bsl.2020.24 [details]
2019
- van Benthem, J. F. A. K., & de Jongh, D. H. J. (2019). In Memoriam Anne Sjerp Troelstra (1939–2019): Creating order in a vast and diverse area. Nieuw Archief voor Wiskunde, (21), 225-227. http://www.nieuwarchief.nl/serie5/pdf/naw5-2019-20-3-225.pdf
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
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.