Ditapis dengan

  • Tahun Penerbitan
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Gabbay, Dov M.
cover
Reactive kripke semantics
Komentar Bagikan
Gabbay, Dov M.

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…

Edisi
-
ISBN/ISSN
9783642413896
Deskripsi Fisik
xii, 442 hlm. ; il. warna
Judul Seri
Cognitive Technologies
No. Panggil
E1319