Admissible rules for pretable modal logics

DOI10.1007/BF01669113zbMath0496.03008OpenAlexW1989047802MaRDI QIDQ1170232

Vladimir Vladimirovich Rybakov

Publication date: 1982

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

provabilitysuperintuitionistic logictabular logicextensions of S4Lindenbaum algebradecidability of the universal theoryderivable rulespretabular intuitionistic logic

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 (3)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Satisfiability in Boolean Logic (SAT problem) is polynomial? ⋮ The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free S5 algebras
• An ascending chain of S4 logics
• One hundred and two problems in mathematical logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Extensions of the Lewis system S5

This page was built for publication: Admissible rules for pretable modal logics