Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property

DOI10.1007/BF01054709zbMath0807.03016MaRDI QIDQ1327480

Vladimir Vladimirovich Rybakov

Publication date: 5 March 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

framesfinite model propertyintermediate logicsnormal modal logicsadmissibility problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Related Items

1995–1996 Winter Meeting of the Association for Symbolic Logic, On Finite Model Property for Admissible Rules, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical equations and admissible rules of inference with parameters in modal provability logics
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Admissible rules for logics containing S4.3
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Bases of admissible rules of the logics S4 and Int
• Admissible rules for pretable modal logics
• A lattice of normal modal logics
• Algebraizable logics
• Rules of inference with parameters for intuitionistic logic
• What is an inference rule?
• Finitely generated free Heyting algebras
• BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property