scientific article; zbMATH DE number 1471982

MaRDI QIDQ4489066zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 5 June 2001

zbMATH Keywords

admissible rulesbasisfree algebrasinference ruleKripke modelmodal logic

Mathematics Subject Classification ID

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

Cited in

(4)

• Semantic admissibility criteria for deduction rules in S4 and Int
• Description of modal logics which enjoy co-cover property
• An explicit basis for admissible inference rules in table modal logics of width 2
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

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