Publisher
Springer International Publishing
Reference23 articles.
1. Bellin, G., Carrara, M., Chiffi, D.: On an intuitionistic logic for pragmatics. J. Log. Comput. 28(5), 935–966 (2018)
2. Bellin, G., de Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic constructive modal logic. In: Proceedings of M4M–2 (2001)
3. Chellas, B.F.: Modal Logic - An Introduction. Cambridge University Press, Cambridge (1980)
4. Dalmonte, T., Grellois, C., Olivetti, N.: Intuitionistic non-normal modal logics: a general framework. J. Philos. Log. 49(5), 833–882 (2020)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Dalmonte,2021