An explicit basis for admissible rules of modal logics of finite width

MaRDI QIDQ4966006zbMATH OpenFDO

Authors V. V. Rimatskij

Publication date 18 March 2021

Full work available at URL http://mathnet.ru/eng/jsfu10

zbMATH Keywords

admissible rulebasis of admissible rulesinference ruleKripke frame and modelmodal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1396691
• Bases of admissible inference rules in tabular modal logics of depth 2
• An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
• Admissible Rules of Modal Logics
• On construction of an explicit basis for admissible inference rules of modal logics extending S4.1

Cites work

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• Bases of admissible rules of the logics S4 and Int
• Construction of an explicit basis for rules admissible in modal system S4
• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3552481 (Why is no real title available?)
• scientific article; zbMATH DE number 1463088 (Why is no real title available?)
• scientific article; zbMATH DE number 1396691 (Why is no real title available?)
• On the admissible rules of intuitionistic propositional logic
• One hundred and two problems in mathematical logic

Cited in

(11)

• Construction of an explicit basis for rules admissible in modal system S4
• scientific article; zbMATH DE number 5379366 (Why is no real title available?)
• scientific article; zbMATH DE number 5640556 (Why is no real title available?)
• scientific article; zbMATH DE number 1114336 (Why is no real title available?)
• scientific article; zbMATH DE number 1156788 (Why is no real title available?)
• On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
• scientific article; zbMATH DE number 1396691 (Why is no real title available?)
• Connected modal logics
• An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
• Admissible Rules of Modal Logics
• Explicit basis for admissible rules in K-saturated tabular logics

This page was built for publication: An explicit basis for admissible rules of modal logics of finite width

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