| English | eng-000 |
| formal semantics | |
| 普通话 | cmn-000 | 形式语义 |
| suomi | fin-000 | formaalinen semantiikka |
| français | fra-000 | sémantique formelle |
| 日本語 | jpn-000 | 形式意味論 |
| 한국어 | kor-000 | 형식의미론 |
| 韓國語 | kor-002 | 形式意味論 |
| português | por-000 | semântica formal |
| русский | rus-000 | формальная семантика |
| ภาษาไทย | tha-000 | อรรถศาสตร์รูปนัย |