Admissible rules for pretable modal logics

DOI10.1007/BF01669113MaRDI QIDQ1170232zbMATH OpenOpenAlexFDO

Authors Vladimir 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)

Cites work

• scientific article; zbMATH DE number 3557753 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 3328980 (Why is no real title available?)
• An ascending chain of S4 logics
• Extensions of the Lewis system S5
• Free S5 algebras
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• One hundred and two problems in mathematical logic

Cited in

(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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1170232)