The idea here is to interpret necessity as a property of propositions , so that , instead of ( 4 ) one has : ( 8 ) " Nec p " is true in L iff NEC ( ref ...
確定! 回上一頁