Neighbourhood Semantics for Graded Modal Logic
Neighbourhood Semantics for Graded Modal Logic
Author(s): Hans van Ditmarsch, Jinsheng Chen, Giuseppe Greco, Apostolos TzimoulisSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: Graded modal logic;neighbourhood frames;bisimulation
Summary/Abstract: We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition of graded bisimulation with respect to Kripke frames by modifying the definition of monotonic bisimulation.
Journal: Bulletin of the Section of Logic
- Issue Year: 50/2021
- Issue No: 3
- Page Range: 373-395
- Page Count: 23
- Language: English