Gabbay's separation theorem
ریاضیاتی منطق اور کمپیوٹر سائنس میں، گابی کا علیحدگی تھیوریم، جس کا نام ڈوف گابی کے نام پر رکھا گیا ہے، کہتا ہے کہ کسی بھی صوابدیدی عارضی منطق فارمولے کو منطقی طور پر مساوی "ماضی → مستقبل" کی شکل میں دوبارہ لکھا جا سکتا ہے۔ I. e. مستقبل وہی بن جاتا ہے جسے مطمئن کرنا چاہیے۔ اس فارم کو عمل کے قواعد کے طور پر استعمال کیا جا سکتا ہے ؛ میٹیٹ ایم پروگرام اس طرح کے قواعد کا ایک مجموعہ ہے۔ حوالہ جات مصنوعی ذہانت کے نظریات عارضی منطق