Hyperformalism for Relevant Modal Logics

Thomas Macaulay Ferguson, Shay Allen Logan

The property of hyperformalism has proven to be a powerful tool in the analysis of relevant logics, revealing that increasingly weak relevant logics are closed under increasingly s…