scientific article
From MaRDI portal
Publication:3647278
zbMath1186.03048MaRDI QIDQ3647278
Vladimir Vladimirovich Rybakov
Publication date: 30 November 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logical consequenceinference rulesadmissible consecutionsmulti-modal logicslogics with universal modality
Related Items (5)
Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Unification in linear temporal logic LTL ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility
This page was built for publication:
