Possibly Relevant Translations
arXiv:2606.31883 · doi:10.4204/EPTCS.447.32
Abstract
We develop translations from relevant logics into normal modal logics, and use them to clarify structural connections between relevant and modal logic, obtain a few corollary results, and raise questions for future work.
In Proceedings AiML 2026, arXiv:2606.29444