modal logic
ナビゲーションに移動
検索に移動
English[編集]
Noun[編集]
modal logic (countable and uncountable, plural modal logics)
- (logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
Related terms[編集]
Translations[編集]
formal system
|