scientific article; zbMATH DE number 5379366

zbMATH Open1164.03302MaRDI QIDQ3544729FDOQ3544729

B. R. Fedorishin

Publication date: 8 December 2008

Full work available at URL: https://eudml.org/doc/55565

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

basisframemodal logicadmissible ruleinference rule

Mathematics Subject Classification ID

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

Cited In (3)

• Admissible inference rules and semantic property of modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Multiple Conclusion Rules in Logics with the Disjunction Property

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Admissible and derivable rules in intuitionistic logic 👍 👎
• Admissible inference rules and semantic property of modal logics 👍 👎
• Title not available (Why is that?) 👍 👎
• On the admissible rules of intuitionistic propositional logic 👍 👎
• A note on globally admissible inference rules for modal and superintuitionistic logics 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)