Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 94
Number of items: 94
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2021). The McKinsey-Tarski theorem for locally compact ordered spaces. The Bulletin of Symbolic Logic, 27(2), 187-211. https://doi.org/10.1017/bsl.2021.16
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Moraschini, T., & Stronkowski, M. (2021). Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics, 391, Article 107959. https://doi.org/10.1016/j.aim.2021.107959
  • Bezhanishvili, N., Enqvist, S., & de Groot, J. (2020). Duality for instantial neighbourhood logic via coalgebra. In D. Petrişan, & J. Rot (Eds.), Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020 : proceedings (pp. 32-54). ( Lecture Notes in Computer Science; Vol. 12094). Springer. https://doi.org/10.1007/978-3-030-57201-3_3
  • Open Access
    Grilletti, G. (2020). Questions & quantification: A study of first order inquisitive logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Bezhanishvili, N., & Henke, T. (2020). A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. Journal of Logic and Computation, 30(7), 1331-1355. https://doi.org/10.1093/logcom/exaa040
  • Open Access
    Bezhanishvili, N., Ghilardi, S., & Landi, L. (2020). Model completeness and Π2-rules: the case of contact algebras. In N. Olivetti, R. Verbrugge, S. Negri, & G. Sandu (Eds.), Advances in Modal Logic: AiML 13 (pp. 115-132). College Publications. https://staff.fnwi.uva.nl/n.bezhanishvili/Papers/AiML2020.pdf
  • Open Access
    Bezhanishvili, N., & Holliday, W. H. (2020). Choice-free Stone duality. Journal of Symbolic Logic, 85(1), 109-148. https://doi.org/10.1017/jsl.2019.11
  • 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
  • Bezhanishvili, G., Bezhanishvili, N., Santoli, T., & Venema, Y. (2019). A strict implication calculus for compact Hausdorff spaces. Annals of Pure and Applied Logic, 170(11), Article 102714. https://doi.org/10.1016/j.apal.2019.06.003
  • Baltag, A., Bezhanishvili, N., & Fernández González, S. (2019). The McKinsey-Tarski theorem for topological evidence logics. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 177-194). (Lecture Notes on Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_11
Page 3 of 10