Modal logic is a type of formal log

Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality

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

แบบเป็นทางตรรกะที่พัฒนาในทศวรรษ 1960 ที่คลาสสิก propositional และเพรดิเคตตรรกะการรวมผู้ประกอบการแสดง modality เป็นตรรกะโมดอล

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

ตรรกะกิริยาเป็นชนิดของตรรกะการพัฒนาเป็นหลักอย่างเป็นทางการในปี 1960 ที่ขยายประพจน์คลาสสิกและตรรกะกริยาที่จะรวมถึงผู้ประกอบการแสดงกิริยา

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

模态逻辑的逻辑是一个formal type of primarily开发是在六十年代和predicate propositional extends经典一个逻辑表达方式包括经营者