Neighbourhood Semantics for Graded Modal Logic
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 fram...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2021-09-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/8007 |