線形時相論理 - 他の言語