scientific article; zbMATH DE number 1114355

MaRDI QIDQ4376076zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 8 February 1998

zbMATH Keywords

finite model propertymodal logicquasi-characteristic inference rulesstructurally complete logics

Mathematics Subject Classification ID

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

Recommendations

• On self-admissible quasi-characterizing inference rules
• Characteristic inference rules
• Admissible rules for logics containing S4.3
• On construction of an explicit basis for admissible inference rules of modal logics extending S4.1

Cited in

(7)

• Axiomatizations with context rules of inference in modal logic
• On self-admissible quasi-characterizing inference rules
• Semantic properties of T-consequence relation in logics of quasiary predicates
• On independent axiomatizability of quasi-normal modal logics
• Characteristic inference rules
• Yankov Characteristic Formulas (An Algebraic Account)
• 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 Q4376076)