Opening book details…
Modal Logic Systems: S(K) Overview by dfraga is a document available to read on EtoBox.