Translations from relevant logics to normal modal logics are developed to explore their structural connections.
In: Proceedings of the 41st Annual ACM/IEEE Symposium on Logic in Com- puter Science (LICS ’26), Lisbon, Portugal
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Possibly Relevant Translations
Translations from relevant logics to normal modal logics are developed to explore their structural connections.