is a branching-time logic, meaning

is a branching-time logic, meaning that its model
of time is a tree-like structure in which the future is not determined; there are dierent paths in
the future, any one of which might be an actual path that is realised.

ผลลัพธ์ (ไทย) 1:

เป็นตรรกะเวลาสาขา หมายความ ว่า รูปแบบเวลามีโครงสร้างเหมือนต้นไม้ซึ่งในอนาคตจะกำหนด มีเส้นทางของ dierent ในอนาคต หนึ่งซึ่งอาจจะเป็นเส้นทางจริงที่จะตระหนัก

ผลลัพธ์ (ไทย) 2:

เป็นตรรกะแขนงเวลาหมายความว่ารูปแบบของ
เวลาเป็นโครงสร้างที่มีลักษณะเหมือนต้นไม้ที่อนาคตไม่ได้กำหนด; มีเส้นทาง dierent ใน
อนาคตของคนใดคนหนึ่งซึ่งอาจจะเป็นเส้นทางที่เกิดขึ้นจริงที่จะรู้

ผลลัพธ์ (ไทย) 3:

เป็นกิ่งเวลาตรรกศาสตร์ ความหมายของรูปแบบที่เป็นโครงสร้างต้นไม้อย่างที่อนาคตไม่ได้ถูกกำหนด มี dierent เส้นทางในอนาคต หนึ่งซึ่งอาจจะจริง เส้นทางที่ยัง .