Graded modalities. I
type: Item
instance of: scholarly article
title: Graded modalities. I
zbMATH Open document ID: 0577.03004
DOI: 10.1007/BF00379767
author: M. Fattorosi-Barnaba
author: Francesco de Caro
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: The authors introduce a propositional modal language containing the modal operators \(M_ n\), which are, in the usual Kripke semantics, interpreted as ''there are more than n accessible worlds, such that...''. A sound and complete axiomatization is provided, which is also shown to be decidable.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3922618
zbMATH Keywords: modal logic
zbMATH Keywords: modal operators
zbMATH Keywords: complete axiomatization
MaRDI profile type: Publication
cites work: Q4196401
cites work: Decidability results in non-classical logics
cites work: Q5625118
cites work: Q5604443
cites work: Q5332215
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
description: scientific article; zbMATH DE number 3922618