منطق زمانی یا Temporal Logic یک نوع تعمیم منطق کلاسیکه که توی مدل‌های خودش زمان رو هم دخیل کرده. به عبارت دیگه با این منطق میشه گزاره‌هایی رو مدل کرد که با تغییر زمان، ارزش درستی اونا هم تغییر می‌کنه.
به عنوان یک مثال ساده، جمله‌ی
هم اکنون باران می‌بارد
در حال حاضر ارزش درست داره اما ممکنه 1 ساعت بعد دیگه جمله‌ی درستی نباشه.
با توجه به اینکه در بسیاری از پدیده‌های واقعی زمان نقش مهمی داره و از طرف دیگه برای استنتاج در خیلی از مسائل واقعی لازمه که زمان رو هم در نظر بگیریم، لازمه که بتونیم زمان رو هم مدل کنیم. منطق زمانی می‌تونه ابزار مناسبی برای اینجور مدل‌ها باشه.
برای اینکه در مورد منطق زمانی بیشتر بدونید این فایل رو دانلود کنید. منابع زیادی توی اینترنت وجود داره. من بخاطر اینکه باید این مطلبو سر کلاس ارائه می‌دادم منابع مختلفیو دیدم و از نظرم این فایل راحت‌تر و روون‌تر گفته بود.
