scientific article; zbMATH DE number 1499106

MaRDI QIDQ4501160zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 3 September 2000

zbMATH Keywords

admissible inference rulesfinite model propertymodal logictabular logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2079050
• Description of modal logics inheriting admissible rules for S4
• Description of Modal Logics Inheriting Admissible Rules for K4
• Admissible inference rules and semantic property of modal logics
• On Finite Model Property for Admissible Rules

Cited in

(11)

• Bases of admissible inference rules in tabular modal logics of depth 2
• A note on globally admissible inference rules for modal and superintuitionistic logics
• Intermediate logics preserving admissible inference rules of heyting calculus
• scientific article; zbMATH DE number 2079050 (Why is no real title available?)
• On Finite Model Property for Admissible Rules
• ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
• Description of Modal Logics Inheriting Admissible Rules for K4
• scientific article; zbMATH DE number 1873430 (Why is no real title available?)
• Description of modal logics inheriting admissible rules for S4
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1
• Admissible inference rules and semantic property of modal logics

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 Q4501160)