Neighbourhood semantics for graded modal logic
Logic
2022-06-09 v1 Logic in Computer Science
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
Cite
@article{arxiv.2105.09202,
title = {Neighbourhood semantics for graded modal logic},
author = {Jinsheng Chen and Hans van Ditmarsch and Giuseppe Greco and Apostolos Tzimoulis},
journal= {arXiv preprint arXiv:2105.09202},
year = {2022}
}
Comments
removed journal template