Neighbourhood Semantics for Graded Modal Logic

DOI10.18778/0138-0680.2021.12zbMath1529.03143arXiv2105.09202OpenAlexW3205812098MaRDI QIDQ6043011

Giuseppe Greco, Apostolos Tzimoulis, Hans P. van Ditmarsch, Jinsheng Chen

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.09202

zbMATH Keywords

bisimulationgraded modal logicneighbourhood frames

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• General canonical models for graded normal logics. (Graded modalities. IV)
• Graded modalities. II. (Canonical models)
• Decidability by filtrations for graded normal logics. (Graded modalities. V)
• Resource bisimilarity and graded bisimilarity coincide
• A note on graded modal logic
• Non normal logics: semantic analysis and proof theory
• Neighborhood semantics for modal logic
• In so many possible worlds
• DYNAMIC GRADED EPISTEMIC LOGIC
• How to update neighbourhood models

This page was built for publication: Neighbourhood Semantics for Graded Modal Logic