Semàntica formal • Altres llengües