Admissible rules of modal logics. (English) Zbl 1077.03011

Jeřábek, Emil

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)

MSC:

03B45

Modal logic (including the logic of norms)

Keywords:

modal logic; admissible rules; projective formula; Kripke structures