scientific article; zbMATH DE number 1396691

MaRDI QIDQ4936643zbMATH OpenFDO

Authors

Publication date 31 January 2000

zbMATH Keywords

framefinite basis of admissible inference rulesfinitely approximable modal logicresidually finite modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Quasivarieties (08C15)

Recommendations

• scientific article; zbMATH DE number 1156788
• An explicit basis for admissible rules of modal logics of finite width
• An explicit basis for admissible inference rules in table modal logics of width 2
• Bases of admissible inference rules in tabular modal logics of depth 2
• scientific article; zbMATH DE number 1114336
• Bases of admissible rules in modal logics S4.2 and S4.2Grz
• Non-finitely axiomatisable two-dimensional modal logics
• Some results on finite axiomatizability in modal logic
• scientific article; zbMATH DE number 3920436
• BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC

Cited in

(8)

• scientific article; zbMATH DE number 1746563 (Why is no real title available?)
• An explicit basis for admissible inference rules in table modal logics of width 2
• An explicit basis for admissible rules of modal logics of finite width
• Bases of admissible inference rules in tabular modal logics of depth 2
• Admissible inference rules of modal WCP-logics
• An explicit basis for \textit{WCP}-globally admissible inference rules
• Explicit basis for admissible rules in \(K\)-saturated tabular logics
• scientific article; zbMATH DE number 1114336 (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 Q4936643)