Bases of admissible rules in modal logics S4.2 and S4.2Grz
type: Item
instance of: scholarly article
title: Bases of admissible rules in modal logics S4.2 and S4.2Grz
zbMATH Open document ID: 0813.03011
DOI: 10.1007/BF02260875
author: S. V. Babenyshev
published in: Algebra and Logic
publication date: 1994-05-18T00:00:00Z
review text: The author studies the admissibility of inference rules in nonclassical propositional logics. In this paper it is proved that the modal logics S4.2 and S4.2Grz have no finite bases of admissible rules, that is, there exists no finite subset of admissible rules such that all the other rules follow directly from them.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 561008
zbMATH Keywords: modal logics
zbMATH Keywords: S4.2
zbMATH Keywords: S4.2Grz
zbMATH Keywords: admissible rules
reviewed by: Osamu Sonobe
MaRDI profile type: Publication
cites work: Q3950540
description: scientific article; zbMATH DE number 561008