scientific article; zbMATH DE number 4204318

MaRDI QIDQ3352998zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 1991

zbMATH Keywords

admissible inference rulesintuitionistic logicKripke modelsmodal logic S4

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3959387
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• Admissibility of logical inference rules
• Admissible rules for logics containing S4.3

Cited in

(10)

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Semantic admissibility criteria for deduction rules in S4 and Int
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• A tableau method for checking rule admissibility in S4
• Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics
• An admissibility criterion for inference rules with metavariables in the modal logic S4._N
• scientific article; zbMATH DE number 3959387 (Why is no real title available?)
• scientific article; zbMATH DE number 2079050 (Why is no real title available?)
• scientific article; zbMATH DE number 1873430 (Why is no real title available?)

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