Logical equations and admissible rules of inference with parameters in modal provability logics

DOI10.1007/BF00935600zbMath0729.03012OpenAlexW1967787797MaRDI QIDQ805609

Vladimir Vladimirovich Rybakov

Publication date: 1990

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

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

zbMATH Keywords

algorithmsadmissible inference rulesGödel-Löb logicmodal provability logicssolvability of logical equations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40)

Related Items (9)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Satisfiability in Boolean Logic (SAT problem) is polynomial? ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ What is an inference rule? ⋮ Best unifiers in transitive modal logics ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Rules with parameters in modal logic. I.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissible rules for logics containing S4.3
• Provability interpretations of modal logic
• DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
• One hundred and two problems in mathematical logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Arithmetical necessity, provability and intuitionistic logic
• BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
• The Logic of Provability

This page was built for publication: Logical equations and admissible rules of inference with parameters in modal provability logics