Independent bases for admissible rules of pretabular modal logic and its extensions

DOI10.17377/SEMI.2013.10.008MaRDI QIDQ890977zbMATH OpenFDO

Authors N. E. Zubov

Publication date 16 November 2015

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

admissible inference rule(pretabular) modal logicbases for admissible rulesframe (model) Kripke

Mathematics Subject Classification ID

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

Recommendations

• Independent bases for rules admissible in pretabular logics
• Bases of admissible rules in modal logics S4.2 and S4.2Grz
• scientific article; zbMATH DE number 1534490
• Independent Bases of Admissible Rules
• Bases of admissible rules for K-saturated logics

Cited in

(8)

• Globally admissible inference rules
• Independent Bases of Admissible Rules
• An explicit basis for \textit{WCP}-globally admissible inference rules
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1
• Unification in pretabular extensions of S4
• Explicit basis for admissible rules in \(K\)-saturated tabular logics
• scientific article; zbMATH DE number 1534490 (Why is no real title available?)
• Basis of globally admissible rules for logic S4

This page was built for publication: Independent bases for admissible rules of pretabular modal logic and its extensions

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