時間経過に応じた数え上げの表現力の再検討 - 時間付き論理における数え上げとPnueli様相の検討

時間付き論理において、任意の時間区間内での事象の数え上げを表現する方法を明らかにした。特に、区間 ⟨a,b⟩ 内での数え上げを、区間 [0,b⟩ 内での数え上げを用いて表現できることを示した。