This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Modal environment for boolean speculations
George Gargov, Solomon Passy, Tinko Tinchev
pp. 253-263
Not implemented yet !