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)

Full work available at URL https://doi.org/10.17377/SEMI.2013.10.008

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

(9)

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