Admissible rules for logics containing S4.3

DOI10.1007/BF00968695zbMATH Open0582.03009OpenAlexW2030606453MaRDI QIDQ1068809FDOQ1068809

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

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

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)

Cites Work

• The deducibilities of S5
• The Logics Containing S 4.3
• Title not available (Why is that?)

Cited In (14)

• 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
• An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\)
• Almost structural completeness; an algebraic approach
• 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}\)
• A tableau method for checking rule admissibility in S4

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)