Jeřábek, Emil Admissible rules of modal logics. (English) Zbl 1077.03011 J. Log. Comput. 15, No. 4, 411-431 (2005). Explicit bases of admissible rules are constructed for a representative class of normal modal logics, which includes the systems K4, GL, S4, Grz and GL3. The notion of admissible multiple conclusion rules is also investigated. Reviewer: Giacomo Bonanno (Davis) Cited in 2 ReviewsCited in 36 Documents MSC: 03B45 Modal logic (including the logic of norms) Keywords:modal logic; admissible rules; projective formula; Kripke structures PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Log. Comput. 15, No. 4, 411--431 (2005; Zbl 1077.03011) Full Text: DOI