Без заголовка
Например, http://post.queensu.ca/~mozersky/250-2012.htm
В России это философско-логический кружок на кафедре философии ВШЭ, они говорят, что в русскоязычном мире их человек 40-50 всего -- которые знают что-то про Lewis и Kripke не по наслышке и могут написать пару формул на эту тему.