Để tìm sự khác biệt, tôi chỉ gặp phải các xác nhận bên dưới về logic thời gian trong Wikipedia :
một biến thể khác của logic phương thức chia sẻ nhiều đặc điểm chung với logic động, khác với tất cả các logic đã đề cập ở trên bởi những gì Pnueli đã mô tả là logic "nội sinh", các logic khác là logic "ngoại sinh". Theo Pnueli này có nghĩa là các xác nhận logic tạm thời được diễn giải trong khuôn khổ hành vi phổ quát trong đó một tình huống toàn cầu duy nhất thay đổi theo thời gian, trong khi các xác nhận của các logic khác được đưa ra bên ngoài cho nhiều hành động mà chúng nói. Ưu điểm của phương pháp nội sinh là nó không đưa ra các giả định cơ bản về nguyên nhân gây ra những gì khi môi trường thay đổi theo thời gian. Thay vào đó, một công thức logic tạm thời có thể nói về hai phần không liên quan của một hệ thống, bởi vì chúng không liên quan ngầm phát triển song song. Trong thực tế, sự kết hợp logic thông thường của các xác nhận thời gian là toán tử thành phần đồng thời của logic thời gian. Sự đơn giản của phương pháp tiếp cận đồng thời này đã dẫn đến logic tạm thời là logic phương thức được lựa chọn để suy luận về các hệ thống đồng thời với các khía cạnh đồng bộ hóa, can thiệp, độc lập, bế tắc, sống động, công bằng, v.v.
Tôi không thể nhận ra sự khác biệt, đáng kể. Logic động không thể bao gồm mọi khía cạnh theo thời gian trong các đối số, cũng như logic thời gian?
Hoặc tại sao năng động không có nghĩa vụ phải xử lý các hệ thống đồng thời?
Xin vui lòng giải quyết các trường hợp?