Independent bases for admissible rules of pretabular modal logic and its extensions. (Russian. English summary) Zbl 1330.03046
Summary: We obtain independent bases for admissible inference rules of pretabular modal logics \(\mathrm{PT}2\), \(\mathrm{PT}3\) and all its extensions. Also we describe such bases for global admissible rules of logics \(\mathrm{PT}2\), \(\mathrm{PT}3\).
MSC:
03B45 | Modal logic (including the logic of norms) |