This article is cited in 4 papers

An Explicit Basis for Admissible Rules of Modal Logics of Finite Width

Vitaly V. Rimatsky

Institute of Architecture and Construction, Siberian Federal University

Abstract: We find an explicit basis for all admissible rules of a representative (at least countable) class of modal logics of finite widht extending the logic $S4$. Our basis consists of a sequence of rules which have a compact and simple form.

Keywords: modal logic, inference rule, Kripke frame and model, admissible rule, basis of admissible rules.

UDC: 510.643; 517.11

Received: 10.10.2007
Accepted: 20.10.2007