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.
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]
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]
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]
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]
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]
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]
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]
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]
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]
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, .
The UvA uses cookies to ensure the basic functionality of the site and for statistical and optimisation purposes. Cookies are also placed to display third-party content and for marketing purposes. Click 'Accept all cookies' to consent to the placement of all cookies, or choose 'Decline' to only accept functional and analytical cookies. Also read the UvA Privacy statement.