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

DOI10.17377/SEMI.2013.10.008zbMATH Open1330.03046MaRDI QIDQ890977FDOQ890977

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)

Cited In (8)

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

   Recommendations

• Independent bases for rules admissible in pretabular logics 👍 👎
• Bases of admissible rules in modal logics S4.2 and S4.2Grz 👍 👎
• Title not available (Why is that?) 👍 👎
• Independent Bases of Admissible Rules 👍 👎
• Bases of admissible rules for \(K\)-saturated logics 👍 👎

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)