ルイスの公理系の一部の意味論は到達関係"r"に制限(二項関係の制限について詳しくは集合上の関係を参照)を加えることにより作ることが出来る。