شیوه استنتاج طبیعی در  سیستم های زمانی kt و kc
شیوه استنتاج طبیعی در سیستم های زمانی kt و kc

دکتر لطف الله نبوی

دوره 1، شماره 1 ، تیر 1381

چکیده
  منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر ...  بیشتر