In his thesis [1], H. Kamp enriched tense logic by the addition of two new binary connectives, the since operator S and the until.
確定！ 回上一頁
