Decidability by filtrations for graded normal logics. (Graded modalities. V)

DOI10.1007/BF01053022zbMath0788.03017MaRDI QIDQ1317901

Claudio Cerrato

Publication date: 22 March 1994

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

zbMATH Keywords

modal logicfiltrationdecidabilitygraded normal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

Complexity of modal logics with Presburger constraints ⋮ A class of decidable information logics ⋮ How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ Comparative study of variable precision rough set model and graded rough set model ⋮ Introducing Polymodal Neighbourhood Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• General canonical models for graded normal logics. (Graded modalities. IV)
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• Decidability and the finite model property
• On axiomatizability within a system