scientific article; zbMATH DE number 2079050

MaRDI QIDQ4474863zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 21 July 2004

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1499106
• Description of modal logics inheriting admissible rules for S4
• Description of Modal Logics Inheriting Admissible Rules for K4
• Admissible inference rules and semantic property of modal logics
• scientific article; zbMATH DE number 4204318

Cited in

(5)

• A tableau method for checking rule admissibility in S4
• Description of modal logics inheriting admissible rules for S4
• Description of Modal Logics Inheriting Admissible Rules for K4
• Stable modal logics
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474863)