それを解決するために様相論理というものがあるんだけど
プログラミングに応用はまだされてないな。