Modální logika – Další jazyky