2000 character limit reached
Neighbourhood semantics for graded modal logic (2105.09202v1)
Published 19 May 2021 in math.LO and cs.LO
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.