an:01694861
Zbl 0992.03027
Rybakov, Vladimir V.
Construction of an explicit basis for rules admissible in modal system S4
EN
Math. Log. Q. 47, No. 4, 441-446 (2001).
00078631
2001
j
03B45 03G25
admissible inference rules; basis for admissible rules; basis for quasi-identities; modal logic S4; free modal algebra
Summary: We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have a compact and simple, readable form and depend on an increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra \({\mathcal F}_{\text{S4}}(\omega)\) of countable rank.