Rybakov, V. V. Admissible rules of pretabular modal logics. (Russian) Zbl 0489.03005 Algebra Logika 20, 440-464 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 8 Documents MSC: 03B45 Modal logic (including the logic of norms) 03B55 Intermediate logics 03B25 Decidability of theories and sets of sentences Keywords:derivable rules; provability; extensions of S4; superintuitionistic logics; decidability of the universal theory; Lindenbaum algebras; tabular logics; pretabular intuitionistic logics PDFBibTeX XMLCite \textit{V. V. Rybakov}, Algebra Logika 20, 440--464 (1981; Zbl 0489.03005) Full Text: EuDML