Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 78
Number of items: 78
  • 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
  • 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
  • Open Access
    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
  • Open Access
    Henk, P. (2016). Nonstandard provability for Peano Arithmetic: A modal perspective. [Thesis, fully internal, Universiteit van Amsterdam].
  • 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
  • Open Access
    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
  • 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
  • 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
  • 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
  • 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
Page 2 of 8