Resumen de An explicit basis for admissible inference rules in table modal logics of width 2
V. V. Rimatskii
We construct an explicit finite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.
V. V. Rimatskii
We construct an explicit finite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.
