Valentin Goranko Bruce M. Kapron The modal logic of the countable random frame. 221-243 2003 42 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s001530100135 db/journals/aml/aml42.html#GorankoK03