scientific article; zbMATH DE number 1156788

MaRDI QIDQ4390775zbMATH OpenFDO

Authors

Publication date 19 October 1998

zbMATH Keywords

clusterfinite basis of admissible inference rulesframeKripke modelquasi-identitytabular 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 1396691
• Bases of admissible inference rules in tabular modal logics of depth 2
• An explicit basis for admissible rules of modal logics of finite width
• Bases of admissible rules in modal logics S4.2 and S4.2Grz

Cited in

(8)

• Bases of admissible rules in modal logics S4.2 and S4.2Grz
• Bases of admissible inference rules in tabular modal logics of depth 2
• scientific article; zbMATH DE number 3920436 (Why is no real title available?)
• Bases of admissible rules for K-saturated logics
• Table admissible inference rules
• scientific article; zbMATH DE number 1114336 (Why is no real title available?)
• scientific article; zbMATH DE number 1534490 (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 Q4390775)