Publication:3647278
From MaRDI portal
zbMath1186.03048MaRDI QIDQ3647278
Vladimir Vladimirovich Rybakov
Publication date: 30 November 2009
logical consequence; inference rules; admissible consecutions; multi-modal logics; logics with universal modality
03B45: Modal logic (including the logic of norms)
Related Items
Admissibility and unification in the modal logics related to S4.2, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Unification in linear temporal logic LTL, Inference rules in Nelson's logics, admissibility and weak admissibility