Guarded fixed point logics can also be viewed as the natural common extensions of the modal. ¢ -calculus and the guarded fragments. We prove that the.
確定! 回上一頁