2021
DOI: 10.18778/0138-0680.2021.12
|View full text |Cite
|
Sign up to set email alerts
|

Neighbourhood Semantics for Graded Modal Logic

Abstract: We introduce a class of neighbourhood frames for graded modal logic using an operation from Kripke frames to 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 by modifying the definition of monotonic bisimulation.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 13 publications
0
1
0
Order By: Relevance
“…Additionally, many examples and applications are part of the paper. Semantics of graded modal logics (see (Chen, van Ditmarsch, Greco, & Tzimoulis, 2021;de Rijke, 2000) and related references), and their limitations are applicable to the non-granular context of the paper (Yao & Lin, 1996).…”
Section: Summary and Extensions: Granular Graded Rough Setsmentioning
confidence: 99%
“…Additionally, many examples and applications are part of the paper. Semantics of graded modal logics (see (Chen, van Ditmarsch, Greco, & Tzimoulis, 2021;de Rijke, 2000) and related references), and their limitations are applicable to the non-granular context of the paper (Yao & Lin, 1996).…”
Section: Summary and Extensions: Granular Graded Rough Setsmentioning
confidence: 99%