לוגיקת זמן – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←אופרטורים של לוגיקת זמן: תקלדה |
הוספת שם נוסף |
||
שורה 1:
'''לוגיקת זמן''', '''לוגיקה עתית''' או '''לוגיקה טמפורלית''' (באנגלית: Temporal Logic) היא הרחבה של ה[[לוגיקה]] הקלאסית המאפשרת ביטויים הקשורים ב[[זמן]].
לוגיקת זמן היא חלק מ[[לוגיקה מודלית|הלוגיקה המודלית]].
| |||