Any normal logic satisfying B or D1 also satisfies G1, so KB4 and KD14 are not re. quasi-conservative. A fortiori, the same holds if one requires the agent ...
確定! 回上一頁