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

V. V. Rimatskii

Chair of High Mathematics, Krasnoyarsk Institute of Architecture and Construction, Siberian Federal University, Krasnoyarsk, Russia

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

Keywords: admissible inference rules, modal logic.

UDC: 510.65

Received: 10.05.2007

 English version: Algebra and Logic, 2009, 48:1, 72–86

Bibliographic databases:

• 
• 
• 
• 
• 
•