Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 15
Number of items: 15
  • Conradie, W., Palmigiano, A., & Sourabh, S. (2017). Algebraic modal correspondence: Sahlqvist and beyond. Journal of Logical and Algebraic Methods in Programming, 91, 60-84. https://doi.org/10.1016/j.jlamp.2016.10.006
  • Palmigiano, A., Sourabh, S., & Zhao, Z. (2017). Sahlqvist theory for impossible worlds. Journal of Logic and Computation, 27(3), 775-816. https://doi.org/10.1093/logcom/exw014
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., & Venema, Y. (2017). Irreducible equivalence relations, Gleason spaces, and de Vries duality. Applied Categorical Structures, 25(3), 381-401. https://doi.org/10.1007/s10485-016-9434-2
  • Conradie, W., Fomatati, Y., Palmigiano, A., & Sourabh, S. (2015). Algorithmic correspondence for intuitionistic modal mu-caculus. Theoretical Computer Science, 564, 30-62. https://doi.org/10.1016/j.tcs.2014.10.027
  • Open Access
    Sourabh, S. (2015). Correspondence and canonicity in non-classical logic. [Thesis, fully internal, Universiteit van Amsterdam].
Page 2 of 2