Graded modalities. II. (Canonical models)
type: Item
instance of: scholarly article
title: Graded modalities. II. (Canonical models)
zbMATH Open document ID: 0651.03012
DOI: 10.1007/BF00374047
author: Francesco de Caro
published in: Studia Logica
publication date: 1988-01-01T00:00:00Z
review text: This work intends to be a generalization of a simplification of the techniques employed in Part I [\textit{M. Fattorosi-Barnaba} and the author, ibid. 44, 197-221 (1985; Zbl 0577.03004)], by the proposal of a general strategy to prove satisfiability theorems for NLGMs \((=\) normal logics with graded modalities), analogously to the well known technique of the canonical models by Lemmon and Scott for classical modal logics.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4061200
zbMATH Keywords: normal modal logic
zbMATH Keywords: satisfiability
zbMATH Keywords: normal logics with graded modalities
MaRDI profile type: Publication
cites work: Graded modalities. I
description: scientific article; zbMATH DE number 4061200