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
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]
Download

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. Advance online publication. 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. Advance online publication. https://doi.org/10.1007/s00500-016-2391-8 [details]
Download

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]
Download

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. Advance online publication. 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. Advance online publication. https://doi.org/10.1007/s00153-010-0209-4 [details]
Download

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. Haniková, & V. Švejdar (Eds.), Witnessed years: essays in honour of Petr Hájek (pp. 33-52). (Tributes; Vol. 10). College Publications. http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf [details]
Download

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]
Download
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

contactgegevens bewerken bewerk profielinformatie

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

Cookie Consent