Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 78
Number of items: 78
  • Open Access
    de Jongh, D. (2024). Notes on My Scientific Life. In N. Bezhanishvili, R. Iemhoff, & F. Yang (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp. 1-31). (Outstanding Contributions to Logic; Vol. 28). Springer. https://doi.org/10.1007/978-3-031-47921-2_1
  • 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
  • Open Access
    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
  • 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
  • Open Access
    Vargas Sandoval, A. L. (2020). On the path to the truth: Logical & computational aspects of learning. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • 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
  • 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
  • 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
  • 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
  • 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
Page 1 of 8