可か能のう世せ界かいモデル

noun

possible-world model

Technical term in modal logic and philosophy of language, referring to a formal structure used to evaluate modal statements.

• 可か能のう世せ界かいモデルを用もちいて、必ひつ然ぜん性せいと可か能のう性せいを形けい式しき的てきに分ぶん析せきする。

  We formally analyze necessity and possibility using possible-world models.