tense logic

💡 Philosophers use tense logic to formalize statements about past and future truths.

فیلسوفان از منطق زمان برای فرموله کردن گزاره‌های مربوط به حقایق گذشته و آینده استفاده می‌کنند.

💡 In tense logic, temporal operators resemble modal tools for necessity and possibility.

در منطق زمان، عملگرهای زمانی شبیه ابزارهای وجهی برای ضرورت و امکان هستند.

💡 While the books have a tense logic to them, the TV plot meanders too much.

در حالی که کتاب‌ها منطق پرتنشی دارند، طرح داستان تلویزیونی بیش از حد پیچیده است.

💡 The seminar showed how tense logic clarifies indexicals in historical narratives.

این سمینار نشان داد که چگونه منطق زمانمند، نمایه‌ها را در روایت‌های تاریخی روشن می‌کند.