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