Decidability by filtrations for graded normal logics. (Graded modalities. V)
From MaRDI portal
Publication:1317901
DOI10.1007/BF01053022zbMath0788.03017MaRDI QIDQ1317901
Publication date: 22 March 1994
Published in: Studia Logica (Search for Journal in Brave)
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