Logical equations and admissible rules of inference with parameters in modal provability logics
DOI10.1007/BF00935600zbMATH Open0729.03012OpenAlexW1967787797MaRDI QIDQ805609FDOQ805609
Authors: Vladimir Rybakov 
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00935600
Recommendations
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
- scientific article; zbMATH DE number 4164801
- scientific article; zbMATH DE number 3959387
- Decidability of the admissibility problem in layer-finite logics
- An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\)
algorithmsadmissible inference rules[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel-L%EF%BF%BD%EF%BF%BDb+logic&go=Go G��del-L��b logic]modal provability logicssolvability of logical equations
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40)
Cites Work
- Title not available (Why is that?)
- Admissible rules for logics containing S4.3
- One hundred and two problems in mathematical logic
- Provability interpretations of modal logic
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- Arithmetical necessity, provability and intuitionistic logic
- The Logic of Provability
- Title not available (Why is that?)
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
- Title not available (Why is that?)
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
Cited In (13)
- Admissible inference rules and semantic property of modal logics
- Linear temporal logic with until and next, logical consecutions
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\)
- Satisfiability in Boolean logic (SAT problem) is polynomial
- Best unifiers in transitive modal logics
- Rules with parameters in modal logic. I.
- Deductive systems with multiple-conclusion rules and the disjunction property
- What is an inference rule?
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
- Title not available (Why is that?)
This page was built for publication: Logical equations and admissible rules of inference with parameters in modal provability logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q805609)
