modal logic

数学

Synonyms (1)：

Related terms (3)：

Kripke model (Kripkeモデル)
About Kripke model
- Search "Kripke model"
- Detailed information
Tableau approach (タブロー法)
About Tableau approach
- Search "Tableau approach"
- Detailed information
Kripke semantics (Kripke意味論)
About Kripke semantics
- Search "Kripke semantics"
- Detailed information

Broader terms (1)：

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page