時序命題演算(temporal proposition calculus)不使用個體變元及量詞的時態邏輯系統.它的公理辜嬌玄日戌加下. 推理規則為 A,A~B B ...
一階時序謂詞演算(first-order temporal predi-cate calculus)時態命題演算的擴張.即通常所說的時序邏輯,其中增加語言成分:常函詞O(對任一t,Ot表示“下一狀態的...
