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

2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07, Logical consecutions in discrete linear temporal logic, 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, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL