문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) === 시제논리 === 시제논리(temporal logic)은 말그대로 시간과 관련된 명제를 다루기 위한 논리이다. 형식적으로 미래와 과거를 다루기 위해 두개의 양상논리를 사용한다. 우선 미래를 다루기 위해 '세계 n이 세계 m에 접근할 수 있다'를 'n이 m보다 시간이 빠른 세계이다'로 해석하고 [math(nBm)]으로 쓴다. 그리고 [math(\Box)]를 [math(G)]로, [math(\Diamond)]를 [math(F)]로 대체한다. 직관적으로 n이 m보다 빠르고 m이 k보다 빠르면 n이 k보다 빠르기 때문에 [math(B)]는 transitive해야한다. 따라서 S4에서 공리 T를 뺀 K4를 사용한다. ||[math((m)(n)(k)(mBn \wedge nBk \rightarrow mBk))][* [math((x))]는 [math((\forall x))]의 준말.]|| 반대로 과거를 다루기 위해 '세계 n이 세계 m에 접근할 수 있다'를 'n이 m보다 나중의 세계이다'로 해석하고 [math(nAm(=mBn))]으로 쓴다. 그리고 [math(\Box)]를 [math(H)]로, [math(\Diamond)]를 [math(P)]로 대체한다. || * [math(nBm)]: 세계 n이 세계 m보다 더 빠른 시간대에 있다. * [math(Gp)]: 모든 미래에 p이다. * [math(Fp)]: 미래의 어느 순간에 p이다. * [math(Hp)]: 모든 과거에 p였다. * [math(Pp)]: 과거의 어느 순간에 p였다. ||저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기