1
동적 논리와 시간 논리의 차이점
차이점을 찾기 위해 Wikipedia의 시간적 논리에 대한 아래의 주장을 만났습니다 . 동적 로직과 많은 공통 특징을 공유하는 모달 로직의 또 다른 변형은 Pnueli가 "내인성"로직으로 특징 지어진 것, 다른 것들은 "외인성"로직이라는 점에서 전술 한 모든 로직과 다르다. 이 Pnueli는 시간적 논리 주장이 단일 세계 상황이 시간의 흐름에 따라 변하는 보편적 행동 …