Model (logika) – Další jazyky