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

DOI10.1007/BF00935600zbMath0729.03012MaRDI 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

algorithms; admissible inference rules; Gödel-Löb logic; modal provability logics; solvability of logical equations

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

03F40: Gödel numberings and issues of incompleteness

Related Items

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

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