ความแตกต่างระหว่างตรรกะแบบไดนามิกและตรรกะชั่วคราว

เพื่อค้นหาความแตกต่างฉันเพิ่งพบกับคำยืนยันด้านล่างเกี่ยวกับตรรกะทางโลกในWikipedia :

อีกตัวแปรหนึ่งของกิริยาตรรกะร่วมคุณสมบัติทั่วไปมากมายกับตรรกะแบบไดนามิกแตกต่างจาก logics ที่กล่าวถึงข้างต้นทั้งหมดโดยเป็นสิ่ง Pnueli มีลักษณะเป็นตรรกะ "ภายนอก" อื่น ๆ ที่เป็น "ภายนอก" logics โดย Pnueli นี้หมายความว่าการยืนยันทางตรรกะตามกาลเวลาจะถูกตีความภายในกรอบพฤติกรรมสากลซึ่งสถานการณ์โลกเดียวเปลี่ยนแปลงไปตามกาลเวลาในขณะที่คำยืนยันของ logics อื่น ๆ ถูกสร้างขึ้นภายนอกจากการกระทำหลายอย่างที่พวกเขาพูด ข้อดีของวิธีการภายนอกคือมันไม่ได้ตั้งสมมติฐานพื้นฐานเกี่ยวกับสิ่งที่ทำให้เกิดสิ่งที่เมื่อสภาพแวดล้อมเปลี่ยนแปลงไปตามกาลเวลา แทนที่จะเป็นสูตรทางตรรกะชั่วขณะสามารถพูดคุยเกี่ยวกับสองส่วนที่ไม่เกี่ยวข้องของระบบซึ่งเป็นเพราะพวกเขาจะไม่เกี่ยวข้องวิวัฒนาการโดยปริยายในแบบคู่ขนาน ในการรวมกันทางตรรกะสามัญของการยืนยันชั่วคราวเป็นผู้ประกอบการประกอบพร้อมกันของตรรกะชั่วคราว ความเรียบง่ายของวิธีการนี้พร้อมกันส่งผลให้เกิดตรรกะชั่วคราวเป็นตรรกะโมดัลของทางเลือกสำหรับการให้เหตุผลเกี่ยวกับระบบที่เกิดขึ้นพร้อมกันในด้านของการซิงโครไนซ์การแทรกแซงความเป็นอิสระการหยุดชะงักความมีชีวิตชีวา

ฉันไม่สามารถตระหนักถึงความแตกต่างอย่างมาก ตรรกะแบบไดนามิกไม่สามารถครอบคลุมทุกแง่มุมที่ขับเคลื่อนด้วยเวลาภายในการขัดแย้งเช่นเดียวกับตรรกะชั่วคราวหรือไม่?

หรือทำไมไดนามิกไม่ควรจัดการระบบที่เกิดขึ้นพร้อมกัน?

คุณช่วยเคลียร์กรณีได้ไหม

ตกลงตรรกะแบบไดนามิกเพิ่มการยืนยันที่ระบุว่าสถานการณ์แบบใดควรมีอยู่หลังจากการกระทำอย่างไรก็ตามวิธีที่ระบุการกระทำนี้ ในตรรกะเชิงโลกนั้นไม่มีการเน้นด้านกิริยาช่วย ตัวอย่างเช่นถ้าเราพิจารณาตรรกะเกี่ยวกับศีลธรรมแบบไดนามิกบิตเกี่ยวกับจริยธรรมจะหายไปจากตรรกะชั่วคราว ฉันหวังว่านี่จะช่วยได้.