Predikátová logika – Další jazyky