加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本