The ::::γ::::-admissibility of Relevant Modal Logics II - The Method using Metavaluations

Takahiro Seki. The ::::γ::::-admissibility of Relevant Modal Logics II - The Method using Metavaluations. Studia Logica, 97(3):351-383, 2011. [doi]

Abstract

Abstract is missing.