V. V. Rimatskii, V. R. Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions”, Sib. Èlektron. Mat. Izv., 2013, Volume 10,Pages <nobr>79

This article is cited in 5 papers

Mathematical logic, algebra and number theory

Independent bases for admissible rules of pretabular modal logic and its extensions

V. V. Rimatskii, V. R. Kiyatkin

Institute of Mathematics, Siberian Federal University

Abstract: We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.

Keywords: (pretabular) modal logic, frame (model) Kripke, admissible inference rule, basуs for admissible rules.

UDC: 510.643

MSC: 03F25

Received September 22, 2012, published February 8, 2013