×

zbMATH — the first resource for mathematics

Admissible rules of modal logics. (English) Zbl 1077.03011
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.

MSC:
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite
Full Text: DOI