scientific article; zbMATH DE number 5379366

MaRDI QIDQ3544729zbMATH OpenFDO

Authors B. R. Fedorishin

Publication date 8 December 2008

Full work available at URL https://eudml.org/doc/55565, http://www.emis.de/journals/SMZ/2007/02/423.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

basisframemodal logicadmissible ruleinference rule

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3959387
• An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
• Admissible and derivable rules in intuitionistic logic
• Admissible inference rules and semantic property of modal logics
• An explicit basis for admissible rules of modal logics of finite width
• On the admissible rules of intuitionistic propositional logic
• A note on globally admissible inference rules for modal and superintuitionistic logics
• scientific article; zbMATH DE number 7448
• ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
• BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC

Cited in

(4)

• Admissible inference rules and semantic property of modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Free algebras for Gödel-Löb provability logic
• Multiple conclusion rules in logics with the disjunction property

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