Semantica formale - Altre lingue