Neighbourhood Semantics for Graded Modal Logic

, , &
Bulletin of the Section of Logic 50 (3):373-395 (2021)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.18778/0138-0680.2021.12

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,667

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Some Logics in the Vicinity of Interpretability Logics.Sergio A. Celani - 2024 - Bulletin of the Section of Logic 53 (2):173-193.
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.Miguel Couceiro, Lauri Hella & Jari Kivelä - 2008 - Logic Journal of the IGPL 16 (1):43-73.
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics.Olivier Gasquet - 1996 - Logic Journal of the IGPL 4 (3):417-426.
Duality between modal algebras and neighbourhood frames.Kosta Došen - 1989 - Studia Logica 48 (2):219 - 234.
Modal characterisation theorems over special classes of frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Characterizations of negative definability in modal logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.

Analytics

Added to PP
2022-04-28

Downloads
30 (#812,214)

6 months
11 (#299,272)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Granular knowledge and rational approximation in general rough sets – I.A. Mani - 2024 - Journal of Applied Non-Classical Logics 34 (2):294-329.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
In so many possible worlds.Kit Fine - 1972 - Notre Dame Journal of Formal Logic 13 (4):516-520.
Graded modalities, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1 - 10.
On the semantics of graded modalities.Wiebe Van der Hoek - 1992 - Journal of Applied Non-Classical Logics 2 (1):81-123.

View all 11 references / Add more references