Possibly Relevant Translations

Søren Brinck Knudstorp

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 Marta Bílková, Malvin Gattinger, Iris van der Giessen, Marianna Girlando and Yanjing Wang: Proceedings of the Sixteenth International Conference on Advances in Modal Logic (AiML 2026), Amsterdam, The Netherlands, 29-06-2026, Electronic Proceedings in Theoretical Computer Science 447, pp. 567–583.
Published: 29th June 2026.
ArXived at: https://dx.doi.org/10.4204/EPTCS.447.32 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org