Professional Documents
Culture Documents
The Lattice of Normal Modal Logics (Preliminary Report) : Bulletin of The Section of Logic Volume 6/4 (1977), Pp. 193-199
The Lattice of Normal Modal Logics (Preliminary Report) : Bulletin of The Section of Logic Volume 6/4 (1977), Pp. 193-199
Wolfgang Rautenberg
0. Notation
V = {pi |i } = set of (propositional) variables. L = {P, Q, . . .} = set of
formulas built up from V and the connectives , , , , ( is introduced
194
Wolfgang Rautenberg
as usual). n p := | .{z
. . } p; np := p p . . . n p (n ). N denotes
n
the lattice of all normal modal logics, the smallest element of N is denoted
by K, the largest is the inconsistent L. Put EL := {L0 N/L0 L}.
K(P )P X := KX := smallest L N containing X L. K(P ) := K({P }).
K n := K(np n+1 p) is the n-transitive logic (n ).
KBA denotes the variety of K-Algebras (= normal modal algebras),
which are Boolean algebras A with an additive unary operator : A A
with some well-known properties. n a := . . . a; na := a a
. . . n a (a A). If C KBA, Cs.i. := class of all subdirect irreducible
members of C. KBAf = class of finite A KBA. LA := logic of
A KBA in the usual sense. Always LA N , T
and each L N has
a representation L = LA, some A KBA. LC :=
LA for C KBA.
AC
195
m
m
A+ g KBA. Put
shows that A+ g
S Ki BA := M dK . One easily
m
+
K BA if S =
B S (S g). In particular, A g K 1 BA iff S0 C
i6m
196
Wolfgang Rautenberg
197
& .
198
Wolfgang Rautenberg
&
= S4.2.
&
and P 6 L
%&
.
& %
Many other criterions of this kind may be derived, refering also to other
basic logics, e.g. to K4, and more general to any L, such that L K m for
some m . A more intrisic application of the splitting-theorem is given
in Sec. 3.
199
Freie Universit
at West-Berlin