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.
| Original language | English |
|---|---|
| Pages (from-to) | 373-395 |
| Number of pages | 23 |
| Journal | Bulletin of the Section of Logic |
| Volume | 50 |
| Issue number | 3 |
| Early online date | 14 Jul 2021 |
| DOIs | |
| Publication status | Published - 2021 |
Bibliographical note
Publisher Copyright:© Copyright for this edition by Uniwersytet Łódzki, Łód´z 2021
Funding
∗Jinsheng Chen is supported by the National Social Science Foundation of China under Grant No. 20&ZD047. ∗∗Giuseppe Greco is supported by the NWO grant KIVI.2019.001.
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 11 Sustainable Cities and Communities
Keywords
- Bisimulation
- Graded modal logic
- Neighbourhood frames
Fingerprint
Dive into the research topics of 'Neighbourhood semantics for graded modal logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver