scientific article; zbMATH DE number 2079050

zbMATH Open1044.03515MaRDI QIDQ4474863FDOQ4474863

Authors: Vladimir Rybakov 

Publication date: 21 July 2004

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

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

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)