Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 95
Number of items: 95
  • Bezhanishvili, N., Grilletti, G., & Holliday, W. H. (2019). Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. 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. 35-52). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_3
  • Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2019). Subframization and stabilization for superintuitionistic logics. Journal of Logic and Computation, 29(1), 1-35. https://doi.org/10.1093/logcom/exy035
  • 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
  • Open Access
    van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A new game equivalence, its logic and algebra. Journal of Philosophical Logic, 48(4), 649-684. https://doi.org/10.1007/s10992-018-9489-7
  • Open Access
    Bezhanishvili, N., de Groot, J., & Venema, Y. (2019). Coalgebraic Geometric Logic. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom Article 7 (Leibniz International Proceedings in Informatics; Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2019.7
  • Open Access
    van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A propositional dynamic logic for instantial neighbourhood semantics. Studia Logica, 107(4), 719-751. https://doi.org/10.1007/s11225-018-9825-5
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2019). On modal logics arising from scattered locally compact Hausdorff spaces. Annals of Pure and Applied Logic, 170(5), 558-577. https://doi.org/10.1016/j.apal.2018.12.005
  • Open Access
    Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. https://doi.org/10.1007/s10992-018-9463-4
  • Open Access
    Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [Thesis, fully internal, Universiteit van Amsterdam].
  • 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
Page 4 of 10