Graded modalities. III: The completeness and compactness of \(S4^ 0\)
type: Item
instance of: scholarly article
title: Graded modalities. III: The completeness and compactness of \(S4^ 0\)
zbMATH Open document ID: 0662.03007
DOI: 10.1007/BF00370285
author: M. Fattorosi-Barnaba
author: Claudio Cerrato
published in: Studia Logica
publication date: 1988-01-01T00:00:00Z
review text: We go on along the trend of the first two parts [ibid. 44, 197-221 (1985; Zbl 0577.03004) and ibid. 47, No.1, 1-10 (1988; Zbl 0651.03012)], giving an axiomatization of \(S4^ 0\) and proving its completeness and compactness with respect to the usual reflexive and transitive Kripke models. To reach this results, we use techniques from the first part with suitable adaptations to our specific case.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4081508
zbMATH Keywords: axiomatization of \(S4^ 0\)
zbMATH Keywords: reflexive and transitive Kripke models
MaRDI profile type: Publication
cites work: Graded modalities. II. (Canonical models)
cites work: Graded modalities. I
full work available at URL: https://doi.org/10.1007/bf00370285
OpenAlex ID: W1993006812
description: scientific article; zbMATH DE number 4081508