scientific article; zbMATH DE number 1114336

MaRDI QIDQ4376052zbMATH OpenFDO

Authors M. I. Golovanov

Publication date 8 February 1998

zbMATH Keywords

bimodal logicdecidable universal theoryfinite bases for admissible inference rulesfree algebralocally finitestructurally complete

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Bases of admissible rules for K-saturated logics
• scientific article; zbMATH DE number 1156788
• On admissible rules for the polymodal logic \(\text{S}5_n\text{C}\)
• scientific article; zbMATH DE number 1396691
• Bases of admissible rules of the logics S4 and Int
• Bases of admissible rules of Łukasiewicz logic
• Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics
• An explicit basis for admissible rules of modal logics of finite width
• Bases of admissible rules in modal logics S4.2 and S4.2Grz
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

Cited in

(5)

• On admissible rules for the polymodal logic \(\text{S}5_n\text{C}\)
• scientific article; zbMATH DE number 1285767 (Why is no real title available?)
• scientific article; zbMATH DE number 1080249 (Why is no real title available?)
• scientific article; zbMATH DE number 1156787 (Why is no real title available?)
• scientific article; zbMATH DE number 1396691 (Why is no real title available?)

This page was built for publication:

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