scientific article; zbMATH DE number 1396691

zbMATH Open0930.03020MaRDI QIDQ4936643FDOQ4936643

Authors:

Publication date: 31 January 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• 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
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)