Это получилось что-то типа "интерпретации возможных миров" для модальной логики. Именно так там предлагается решать некоторые парадоксы импликации. Но афтар ЖЖ, на который я сослался, хочет все уложить в классику :)