Implementing Modal and Relevance Logics in a Logical Framework.

David A. Basin, Sen Matthews, Luca Vigan

Browse the full KR paper archive.