Gabbay's separation theorem
ગાણિતિક તર્કશાસ્ત્ર અને કોમ્પ્યુટર વિજ્ઞાનમાં, ગબ્બેનું વિભાજન પ્રમેય, જેને ડોવ ગબ્બેના નામ પરથી નામ આપવામાં આવ્યું છે, તે જણાવે છે કે કોઈપણ મનસ્વી અસ્થાયી તર્ક સૂત્રને તાર્કિક રીતે સમકક્ષ "ભૂતકાળ → ભવિષ્ય" સ્વરૂપમાં ફરીથી લખી શકાય છે. આઈ. ઇ. ભવિષ્ય તે બની જાય છે જેને સંતોષ આપવો જ જોઇએ. આ ફોર્મનો ઉપયોગ અમલના નિયમો તરીકે થઈ શકે છે; મેટાટેમ પ્રોગ્રામ એ આવા નિયમોનો સમૂહ છે. સંદર્ભો આર્ટિફિશિયલ ઇન્ટેલિજન્સ પ્રમેય અસ્થાયી તર્ક