These possible worlds arise in the field of modal logic.
これら可能世界は様相論理学の分野で出てくる。