Martins, M., & Moraschini, T. (2024). Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees.
Chicago-Zitierstil (17. Ausg.)Martins, Miguel, und Tommaso Moraschini. Local Tabularity Is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees. 2024.
MLA-Zitierstil (9. Ausg.)Martins, Miguel, und Tommaso Moraschini. Local Tabularity Is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.