zbMATH — the first resource for mathematics

Logics with the universal modality and admissible consecutions. (English) Zbl 1186.03048
Summary: In this paper we study admissible consecutions (inference rules) in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S\(4_n\) augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic (as a set of theorems) is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such consecutions. Some applications to particular logics with the universal modality are given.

03B45 Modal logic (including the logic of norms)
Full Text: DOI