Формална логика — Други езици