Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 95
Number of items: 95
  • Bezhanishvili, N., Marra, V., McNeill, D., & Pedrini, A. (2018). Tarski's theorem on intuitionistic logic, for polyhedra. Annals of Pure and Applied Logic, 169(5), 373-391. https://doi.org/10.1016/j.apal.2017.12.005
  • Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2018). A new proof of the McKinsey-Tarski Theorem. Studia Logica, 106(6), 1291-1311. https://doi.org/10.1007/s11225-018-9789-5
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2018). Stable modal logics. Review of Symbolic Logic, 11(3), 436-469. https://doi.org/10.1017/S1755020317000375
  • Open Access
    Ilin, J. (2018). Filtration revisited: Lattices of stable non-classical logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2018). Tychonoff HED-spaces and Zemanian extensions of S4.3. Review of Symbolic Logic, 11(1), 115-132. https://doi.org/10.1017/S1755020317000314
  • Bezhanishvili, N., & Sourabh, S. (2017). Sahlqvist preservation for topological fixed-point logic. Journal of Logic and Computation, 27(3), 679-703. https://doi.org/10.1093/logcom/exv010
  • van Benthem, J., Bezhanishvili, N., & Holliday, W. H. (2017). A bimodal perspective on possibility semantics. Journal of Logic and Computation, 27(5), 1353-1389. https://doi.org/10.1093/logcom/exw024
  • Bezhanishvili, N., Galatos, N., & Spada, L. (2017). Canonical formulas for k-potent commutative, integral, residuated lattices. Algebra Universalis, 77(3), 321-343. https://doi.org/10.1007/s00012-017-0430-7
  • van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A propositional dynamic logic for instantial neighborhood models. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 137-150). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_10
  • 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 5 of 10