RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2002 Volume 43, Number 6, Pages 1350–1361 (Mi smj1375)

This article is cited in 3 papers

An inheritance criterion for the admissible inference rules of $K4$

A. N. Rutskii, B. R. Fedorishin

Krasnoyarsk State University

Abstract: We give a criterion for inheritance of the admissible inference rules of the modal logic $K4$ by the finitely approximable modal logics extending $K4$. We give a negative solution to the question of inheritance of the admissible rules of $K4$ by tabular logics. We exhibit a series of examples of modal logics which inherit or fail to inherit the admissible inference rules of $K4$.

UDC: 510.643

Received: 10.01.2002


 English version:
Siberian Mathematical Journal, 2002, 43:6, 1094–1102

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024