Admissible rules for logics containing S4.3

DOI10.1007/BF00968695zbMath0582.03009OpenAlexW2030606453MaRDI QIDQ1068809

Vladimir Vladimirovich 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)

Related Items (7)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Almost structural completeness; an algebraic approach ⋮ Equations in free topoboolean algebra ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Deciding active structural completeness ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics

Cites Work

• Unnamed Item
• The deducibilities of S5
• The Logics Containing S 4.3

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