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

(8)

• Description of modal logics which enjoy co-cover property
• A tableau method for checking rule admissibility in S4
• Intermediate logics preserving admissible inference rules of heyting calculus
• scientific article; zbMATH DE number 1499106 (Why is no real title available?)
• Description of Modal Logics Inheriting Admissible Rules for K4
• Description of modal logics inheriting admissible rules for S4
• 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)