Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 94
Number of items: 94
  • Bezhanishvili, N., Iemhoff, R., & Yang, F. (Eds.) (2024). Dick de Jongh on Intuitionistic and Provability Logics. (Outstanding Contributions to Logic; Vol. 28). Springer. https://doi.org/10.1007/978-3-031-47921-2
  • Open Access
    Almeida, R. N., & Bezhanishvili, N. (2024). Coalgebraic Semantics for Intuitionistic Modal Logic. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic: AiML 15 (pp. 59-77). College Publications. https://doi.org/10.48550/arXiv.2406.10649
  • Open Access
    Adam-Day, S., Bezhanishvili, N., Gabelaia, D., & Marra, V. (2024). Polyhedral completeness of intermediate logics: The Nerve Criterion. Journal of Symbolic Logic, 89(1), 342-382. https://doi.org/10.1017/jsl.2022.76
  • Open Access
    Bezhanishvili, N., Martins, M., & Moraschini, T. (2024). Bi-intermediate logics of trees and co-trees. Annals of Pure and Applied Logic, 175(10), Article 103490. https://doi.org/10.1016/j.apal.2024.103490
  • Open Access
    van Benthem, J., & Bezhanishvili, N. (2024). Modal structures in groups and vector spaces. Journal of Logic and Computation, 34(1), 75-124. https://doi.org/10.1093/logcom/exac105
  • Open Access
    Bezhanishvili, N., Ciancia, V., Gabelaia, D., Jibladze, M., Latella, D., Massink, M., & de Vink, E. P. (2024). Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. In V. Castiglioni, & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024 : held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024 : proceedings (pp. 20-38). (Lecture Notes in Computer Science; Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6_2
  • Open Access
    Bezhanishvili, N., & Yang, F. (2024). Intermediate Logics in the Setting of Team Semantics. In N. Bezhanishvili, R. Iemhoff, & F. Yang (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp. 231-271). (Outstanding Contributions to Logic; Vol. 28). Springer. https://doi.org/10.1007/978-3-031-47921-2_9
  • van Benthem, J., & Bezhanishvili, N. (2023). Modern Faces of Filtration. In F. L. G. Faroldi, & F. Van De Putte (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp. 23-61). (Outstanding Contributions to Logic; Vol. 26). Springer. https://doi.org/10.1007/978-3-031-29415-0_3
  • Open Access
    Bezhanishvili, N., Carai, L., Ghilardi, S., & Landi, L. (2023). Admissibility of Π2-inference rules: Interpolation, model completion, and contact algebras. Annals of Pure and Applied Logic, 174(1), Article 103169. https://doi.org/10.48550/arXiv.2201.06076, https://doi.org/10.1016/j.apal.2022.103169
  • Baltag, A., Bezhanishvili, N., & Fernández-Duque, D. (2022). The topology of surprise. In G. Kern-Isberner, G. Lakemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Haifa, Israel. July 31–August 5, 2022 (pp. 33-42). (KR; Vol. 2022). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/kr.2022/4
Page 1 of 10