Classical modal logic

In modal logic, a classical modal logic L is any modal logic closed under either

$\Diamond A\equiv \lnot \Box \lnot A$

and

$A\equiv B\vdash \Box A\equiv \Box B.$

Alternatively one can give a dual definition L by which L is classical iff

$\Box A\equiv \lnot \Diamond \lnot A$

and

$A\equiv B\vdash \Diamond A\equiv \Diamond B.$

The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K.

References

Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.