一階時序謂詞演算(first-order temporal predi-cate calculus)時態命題演算的擴張.即通常所說的時序邏輯，其中增加語言成分:常函詞O(對任一t,Ot表示“下一狀態的t")以及公理(參見“時序命顆演算”)如下，
