相继式演算

  • 网络Sequent calculus
相继式演算相继式演算
  1. 区间时序逻辑的标记相继式演算

    A labeled sequent calculus for interval temporal logic