לוגיקה מודלית – שפות אחרות