Possibly Relevant Translations
Logic
2026-06-30 v1 Logic in Computer Science
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.
Cite
@article{arxiv.2606.31883,
title = {Possibly Relevant Translations},
author = {Søren Brinck Knudstorp},
journal= {arXiv preprint arXiv:2606.31883},
year = {2026}
}
Comments
In Proceedings AiML 2026, arXiv:2606.29444