Balbiani, P., Dieguez, M., & Fernandez-Duque, D. (2021, June 29). Some constructive variants of S4 with the finite model property. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470643
Chicago-Zitierstil (17. Ausg.)Balbiani, Philippe, Martin Dieguez, und David Fernandez-Duque. "Some Constructive Variants of S4 with the Finite Model Property." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470643.
MLA-Zitierstil (9. Ausg.)Balbiani, Philippe, et al. "Some Constructive Variants of S4 with the Finite Model Property." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470643.