R. S. Silvestre, “Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility”, LLP, vol. 21, no. 1, pp. 65–95, Mar. 2012.