-
de Jongh, D., Kanazawa, M. (1996) Angluin's theorem for indexed families of r.e. sets and applications.In Proceedings of the ninth annual conference on computational learning theory (pp 193-204). The Association for Computing Machinery.Chapter | UvA-DAREde Jongh, D., Liu, F. (2006) Optimality, Belief and Preference.In Artemov, S, Parikh, R. (Eds.), Proceedings of the Workshop on Rationality and Knowledge, ESSLLI, 2006 (pp 48-59). Universidad de Malaga.Conference contribution | UvA-DAREde Jongh, D., Liu, F. (2006) Optimality, Belief and Preference.Institute for Logic, Language and Computation.Working paper | UvA-DAREde Jongh, D., Liu, F. (2009) Preference, priorities and belief.In Grüne-Yanoff, T. Hansson, S.O. (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). Springer.Chapter | https://doi.org/10.1007/978-90-481-2593-7_4 | UvA-DAREde Jongh, D., Moschovakis, J.R. (2020) In memoriam: Anne Sjerp Troelstra 1939–2019.Bulletin of Symbolic Logic, Vol. 26 (pp 293-295)Article | https://doi.org/10.1017/bsl.2020.24 | UvA-DAREde Jongh, D., Safarova, M., Zeevat, H. (2002) Proceedings of the 4th Tbilisi Conference on Logic and Language.University of Amsterdam.Book (Editorship) | UvA-DAREde Jongh, D., Shirmohammadzadeh Maleki, F. (2017) Subintuitionistic Logics with Kripke Semantics.In Hansen, H.H. Murray, S.E. Sadrzadeh, M. Zeevat, H. (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
FoLLI Publications on Logic, Language and Information, Vol. 10148). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-54332-0_18 | UvA-DAREde Jongh, D., Shirmohammadzadeh Maleki, F. (2018) Subintuitionistic logics and the implications they prove.Indagationes Mathematicae, Vol. 29 (pp 1525-1545)Article | https://doi.org/10.1016/j.indag.2018.01.013 | UvA-DAREde Jongh, D., Shirmohammadzadeh Maleki, F. (2019) Two Neighborhood Semantics for Subintuitionistic Logics.In Silva, A. Staton, S. Sutton, P. Umbach, C. (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
FoLLI Publications on Logic, Language and Information, Vol. 11456). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-59565-7_4 | UvA-DAREde Jongh, D., Shirmohammadzadeh Maleki, F. (2021) Binary Modal Companions for Subintuitionistic Logics.In Mojtahedi, M. Rahman, S. Zarepour, M.S. (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.Chapter | https://doi.org/10.1007/978-3-030-53654-1_2 | UvA-DAREde Jongh, D., van Ulsen, P. (1999) Beth's Nonclassical Valuations.Philosophiae Scientiae, Vol. 3 (pp 279-302)Article | UvA-DAREde Jongh, D., Veltman, F., Verbrugge, R. (2004) Completeness by construction for tense logics of linear time.In A.S. Troelstra (Eds.), Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh. Institute for Logic, Language and Computation.Chapter | UvA-DAREde Jongh, D., Veltman, F. (1999) Intensional logics.Unknown Publisher.Book | UvA-DAREde Jongh, D., Veltman, F. (1999) The modal completences of ILW.In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.Chapter | UvA-DAREde Jongh, D., Veltman, F. (1999) The Modal Completeness of ILW.Vossiuspers - Amsterdam University Press.Digital or Visual Products | UvA-DAREde Jongh, D., Verbrugge, R., Visser, A. (2009) Intermediate logics and the de Jongh property.In Cintula, P. Haniková, Z. Švejdar, V. (Eds.), Witnessed years: essays in honour of Petr Hájek (pp 33-52) (Tributes, Vol. 10). College Publications.de Jongh, D., Verbrugge, R., Visser, A. (2011) Intermediate Logics and the de Jongh property.Archive for Mathematical Logic, Vol. 50 (pp 197-213)Article | https://doi.org/10.1007/s00153-010-0209-4 | UvA-DAREde Jongh, D., Visser, A. (1996) Embeddings of Heyting algebras.In Hodges, W. Hyland, M. Steinhorn, C. Truss, J. (Eds.), Logic: from foundations to applications: European logic colloguium (pp 187-214). Clarendon Press.Chapter | UvA-DAREde Jongh, D., Visser, A.P. (1995) Embeddings of Heyting Algebras.Research Report. onbekend (FdL).Report | UvA-DAREde Jongh, D., Yang, F. (2011) Jankov's theorems for intermediate logics in the setting of universal models.In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (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
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-22303-7_5 | UvA-DAREThe data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl