An explicit basis for admissible inference rules in table modal logics of width 2

作者：Rimatskii V V^*

来源：Algebra and Logic, 2009, 48(1): 72-86.

DOI：10.1007/s10469-009-9041-5

• admissible inference rules
• modal logic

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

• 出版日期2009-1