Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Intuitionistic S4 is decidable. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States of America (the). IEEE. https://doi.org/10.34726/5295