- Tytuł:
- Neighbourhood Semantics for Graded Modal Logic
- Autorzy:
-
Chen, Jinsheng
van Ditmarsch, Hans
Greco, Giuseppe
Tzimoulis, Apostolos - Powiązania:
- https://bibliotekanauki.pl/articles/2033856.pdf
- Data publikacji:
- 2021-07-14
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Graded modal logic
neighbourhood frames
bisimulation - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2021, 50, 3; 373-395
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł