تقرير
Neighbourhood semantics for graded modal logic
| العنوان: | Neighbourhood semantics for graded modal logic |
|---|---|
| المؤلفون: | Chen, Jinsheng, van Ditmarsch, Hans, Greco, Giuseppe, Tzimoulis, Apostolos |
| سنة النشر: | 2021 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, Computer Science - Logic in Computer Science |
| الوصف: | 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. Comment: removed journal template |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.18778/0138-0680.2021.12 |
| URL الوصول: | http://arxiv.org/abs/2105.09202 |
| رقم الأكسشن: | edsarx.2105.09202 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.18778/0138-0680.2021.12 |
|---|