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.
Compound of 可能世界 (kanō sekai, 'possible world') + モデル (moderu, 'model'), a calque of the English philosophical term 'possible-world model'.