We enrich propositional modal logic with operators ◇ (n ∈ N) which are interpreted on Kripke structures as “there are more than n accessible worlds for which ...”, thus obtaining a basic graded modal logic GrK. We show how some familiar concepts (such as subframes, p-morphisms, disjoint unions and filtrations) and techniques from modal model theory can be used to obtain results about expressiveness (like graded modal equivalence, correspondence and definability) for this language. On the basis of the class of linear frames we demonstrate that the expressive power of the language is considerably stronger than that of classical modal logic. We give a class of formulas for which a first-order equivalent can be systematically obtained, but also show that the set of formulas for which such an equivalence exists is in some sense a proper subset of the set of so called Sahlqvist formulas, a syntactically defined set of modal formulas for which a corresponding formula is guaranteed to exist. Finally we show how, combining the technique of ‘filtration’ with a notion of ‘copying worlds’ — in view of the “more than n” interpretation, one cannot simply collapse worlds — for some graded modal logics (GrK, GrT, . . . ), the finite model property (and also decidability) is obtained.
[1]
Chen C. Chang,et al.
Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics
,
1966
.
[2]
Maurizio Fattorosi-Barnaba,et al.
Graded modalities. I
,
1985,
Stud Logica.
[3]
Max J. Cresswell,et al.
A companion to modal logic
,
1984
.
[4]
J.F.A.K. van Benthem,et al.
Modal logic and classical logic
,
1983
.
[5]
Krister Segerberg,et al.
An essay in classical modal logic
,
1971
.
[6]
Henrik Sahlqvist.
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
,
1975
.
[7]
R. Labrecque.
The Correspondence Theory
,
1978
.
[8]
J.F.A.K. van Benthem,et al.
Modal Correspondence Theory
,
1977
.
[9]
Kit Fine,et al.
In so many possible worlds
,
1972,
Notre Dame J. Formal Log..
[10]
Johan van Benthem,et al.
Towards a Computational Semantics
,
1987
.
[11]
Richard Spencer-Smith,et al.
Modal Logic
,
2007
.
[12]
L F Goble,et al.
Grades of modality
,
1970
.