1. Anglberger, A.J.J., Gratzl, N., Roy, O. (2015). Obligation, free choice, and the logic of weakest permissions. The Review of Symbolic Logic, 8(4), 807–827.
2. Arisaka, R., Das, A., Straßburger, L. (2015). On nested sequents for constructive modal logics. Logical Methods in Computer Science, 11.
3. Askounis, D., Koutras, C.D., Zikos, Y. (2012). Knowledge means “all”, belief means “most”. In Logics in artificial intelligence (pp. 41–53): Springer.
4. Bellin, G., de Paiva, V., Ritter, E. (2001). Extended Curry-Howard correspondence for a basic constructive modal logic. In Proceedings of Methods for Modalities.
5. Bierman, G.M., & de Paiva, V. (2000). On an intuitionistic modal logic. Studia Logica, 65(3), 383–416.