Author:
Girlando Marianna,Kuznets Roman,Marin Sonia,Morales Marianela,Straßburger Lutz
Publisher
Springer Nature Switzerland
Reference14 articles.
1. Bellin, G., de Paiva, V., Ritter, E.: Extended Curry–Howard correspondence for a basic constructive modal logic. In: Areces, C., de Rijke, M. (eds.) Workshop Proceedings of Methods for Modalities, vol. 2 (2001)
2. Fischer Servi, G.: Semantics for a class of intuitionistic modal calculi. In: Dalla Chiara, M.L. (ed.) Italian Studies in the Philosophy of Science, Boston Studies in the Philosophy of Science, vol. 47, pp. 59–72. D. Reidel Publishing Company (1980). https://doi.org/10.1007/978-94-009-8937-5_5
3. Fischer Servi, G.: Axiomatizations for some intuitionistic modal logics. Rendiconti del Seminario Matematico, Università e Politecnico di Torino 42(3), 179–194 (1984)
4. Girlando, M., Kuznets, R., Marin, S., Morales, M., Straßburger, L.: Intuitionistic S4 is decidable. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26–29 June 2023, Boston, USA. IEEE (2023). https://doi.org/10.1109/LICS56636.2023.10175684
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Girlando,2020