Publication:2765566

DOI<441::AID-MALQ441>3.0.CO;2-J 10.1002/1521-3870(200111)47:4<441::AID-MALQ441>3.0.CO;2-JzbMath0992.03027MaRDI QIDQ2765566

Vladimir Vladimirovich Rybakov

Publication date: 24 July 2002

zbMATH Keywords

admissible inference rules; modal logic S4; free modal algebra; basis for admissible rules; basis for quasi-identities

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G25: Other algebras related to logic

Related Items

KD is nullary, Unnamed Item, Multiple Conclusion Rules in Logics with the Disjunction Property, 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07, Logical consecutions in discrete linear temporal logic, Admissible bases via stable canonical rules, 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, Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Linear temporal logic with until and next, logical consecutions, Inference rules in Nelson's logics, admissibility and weak admissibility, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL