Search results
Results: 96
Number of items: 96
-
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
-
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
-
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, G., Bezhanishvili, N., & Ilin, J. (2018). Stable modal logics. Review of Symbolic Logic, 11(3), 436-469. https://doi.org/10.1017/S1755020317000375 -
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., & Yu, J. (2017). Instantial neighbourhood logic. Review of Symbolic Logic, 10(1), 116-144. https://doi.org/10.1017/S1755020316000447
Page 5 of 10