Logical equations and admissible rules of inference with parameters in modal provability logics
From MaRDI portal
Publication:805609
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
algorithms; admissible inference rules; Gödel-Löb logic; modal provability logics; solvability of logical equations
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