Bases of admissible inference rules for table modal logics of depth 2

In the present article, we prove the theorem which states that every table modal logic λ of depth 2 over S4 has a finite basis of admissible inference rules. In addition, it is established that a finite algebra ℒ belongs to F_ω(λ)^Q iff there exist numbers n₁…, n_k such that (Lemma 5). Let F be a λ-frame of depth 2 and b a cluster of the second layer in F. We show that for any n₁,…,n_k, there exist no p-morphisms from (F_n1⊔…⊔F_nk)⁺ a local component K (b) such that, for any n, there is no p-morphism from any local component of F_n onto K (b) (Lemma 6). Translated fromAlgebra i Logika, Vol. 35, pp. 612–622, September–October, 1996.