General canonical models for graded normal logics. (Graded modalities. IV)

DOI10.1007/BF00935601zbMath0709.03013OpenAlexW1993380380MaRDI QIDQ920975

Claudio Cerrato

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00935601

zbMATH Keywords

graded modalitiesnormal modal logicscanonical methodsgraded normal logicssymmetric models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Complexity of modal logics with Presburger constraints ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ Introducing Polymodal Neighbourhood Logics ⋮ Finite-Chain Graded Modal Logic ⋮ Decidability by filtrations for graded normal logics. (Graded modalities. V) ⋮ On the undecidability of logics with converse, nominals, recursion and counting

Cites Work

• Unnamed Item
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)

This page was built for publication: General canonical models for graded normal logics. (Graded modalities. IV)