Admissible rules for logics containing S4.3

DOI10.1007/BF00968695MaRDI QIDQ1068809zbMATH OpenOpenAlexFDO

Authors Vladimir Rybakov

Publication date 1984

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00968695

zbMATH Keywords

modal logicfree algebraS5rules of inferencevariety of modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• Decidability of the admissibility problem in layer-finite logics
• scientific article; zbMATH DE number 3959387
• Admissibility of logical inference rules
• Admissible Rules of Modal Logics
• scientific article; zbMATH DE number 4130350

Cites work

• scientific article; zbMATH DE number 3769602 (Why is no real title available?)
• The Logics Containing S 4.3
• The deducibilities of S5

Cited in

(14)

• A tableau method for checking rule admissibility in S4
• Decidability of the admissibility problem in layer-finite logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• Almost structural completeness; an algebraic approach
• An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\)
• Admissibility of logical inference rules
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Logical equations and admissible rules of inference with parameters in modal provability logics
• Equations in free topoboolean algebra
• Deciding active structural completeness
• Modal consequence relations extending S4.3: an application of projective unification
• Semantic admissibility criteria for deduction rules in S4 and Int
• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)

This page was built for publication: Admissible rules for logics containing S4.3

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