Neighbourhood semantics for graded modal logic

Jinsheng Chen; Hans van Ditmarsch; Giuseppe Greco; Apostolos Tzimoulis

doi:10.18778/0138-0680.2021.12

Neighbourhood semantics for graded modal logic

Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

Ethics, Governance and Society

Research output: Contribution to Journal › Article › Academic › peer-review

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
DOIs	https://doi.org/10.18778/0138-0680.2021.12
Publication status	Published - 14 Jul 2021

Bibliographical note

Funding Information:
∗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.

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.

Keywords

Bisimulation
Graded modal logic
Neighbourhood frames

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.18778/0138-0680.2021.12

Persistent URL (handle)

Persistent link

Cite this

@article{a9e18fd6c11c430abf0f8856de7cbbf3,

title = "Neighbourhood semantics for graded modal logic",

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.",

keywords = "Bisimulation, Graded modal logic, Neighbourhood frames",

author = "Jinsheng Chen and {van Ditmarsch}, Hans and Giuseppe Greco and Apostolos Tzimoulis",

note = "Funding Information: ∗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. Publisher Copyright: {\textcopyright} Copyright for this edition by Uniwersytet {\L}{\'o}dzki, {\L}{\'o}d´z 2021",

year = "2021",

month = jul,

day = "14",

doi = "10.18778/0138-0680.2021.12",

language = "English",

volume = "50",

pages = "373--395",

journal = "Bulletin of the Section of Logic",

issn = "0138-0680",

publisher = "Department of Logic, University of Lodz",

number = "3",

}

TY - JOUR

T1 - Neighbourhood semantics for graded modal logic

AU - Chen, Jinsheng

AU - van Ditmarsch, Hans

AU - Greco, Giuseppe

AU - Tzimoulis, Apostolos

N1 - Funding Information: ∗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. Publisher Copyright: © Copyright for this edition by Uniwersytet Łódzki, Łód´z 2021

PY - 2021/7/14

Y1 - 2021/7/14

N2 - 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.

AB - 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.

KW - Bisimulation

KW - Graded modal logic

KW - Neighbourhood frames

UR - http://www.scopus.com/inward/record.url?scp=85119479843&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85119479843&partnerID=8YFLogxK

U2 - 10.18778/0138-0680.2021.12

DO - 10.18778/0138-0680.2021.12

M3 - Article

AN - SCOPUS:85119479843

SN - 0138-0680

VL - 50

SP - 373

EP - 395

JO - Bulletin of the Section of Logic

JF - Bulletin of the Section of Logic

IS - 3

ER -

Neighbourhood semantics for graded modal logic

Abstract

Bibliographical note

Funding

Keywords

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this