Section 2 defines SLAP. Section 3 provides a decision procedure for determining entailment of sentences in SLAP. In Section 4, we prove that the procedure is ...
確定! 回上一頁