차이점을 찾기 위해 Wikipedia의 시간적 논리에 대한 아래의 주장을 만났습니다 .
동적 로직과 많은 공통 특징을 공유하는 모달 로직의 또 다른 변형은 Pnueli가 "내인성"로직으로 특징 지어진 것, 다른 것들은 "외인성"로직이라는 점에서 전술 한 모든 로직과 다르다. 이 Pnueli는 시간적 논리 주장이 단일 세계 상황이 시간의 흐름에 따라 변하는 보편적 행동 프레임 워크 내에서 해석되는 반면, 다른 논리의 주장은 그들이 말하는 여러 행동의 외부에서 이루어진다는 것을 의미했다. 내생 적 접근법의 장점은 시간이 지남에 따라 환경이 변함에 따라 무엇이 발생하는지에 대한 근본적인 가정이 없다는 것입니다. 대신에 시간적 논리 공식은 시스템의 관련되지 않은 두 부분에 대해 이야기 할 수 있는데, 이는 관련이 없기 때문에 암묵적으로 병렬로 진화하기 때문입니다. 사실상 시간적 주장의 일반적인 논리적 연결은 시간적 논리의 동시 구성 연산자입니다. 동시성에 대한 이러한 접근 방식의 단순성으로 인해 시간적 로직은 동기화, 간섭, 독립성, 교착 상태, 라이브 록, 공정성 등의 측면을 가진 동시 시스템에 대한 추론을 위해 선택되는 모달 로직이되었습니다.
나는 그 차이를 상당히 깨닫지 못했습니다. 동적 논리는 시간 논리뿐만 아니라 인수 내에서 모든 시간 중심 측면을 다룰 수 없습니까?
또는 동적 시스템이 동시 시스템을 처리하지 않는 이유는 무엇입니까?
사건을 해결 하시겠습니까?