Hasil Pencarian
	Ditemukan 110 dokumen dengan kata kunci 4317 Simpan CSV  On the definability of simulation and bisimulation in epistemic logic Pengarang: Hans van Ditmarsch, David Fernández-Duque, and Wiebe van der Hoek | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1209-1227) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Updating Epistemic Logic Programs Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Alternating-time temporal dynamic epistemic logic Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: From Situation Calculus to Dynamic Epistemic Logic Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Uniformity Principle for Σ-definability Pengarang: Margarita Korovina and Oleg Kudinov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 159-174 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Notions of Bisimulation for Heyting-Valued Modal Languages Pengarang: Pantelis E. Eleftheriou, Costas D. Koutras, and Christos Nomikos | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 213-235 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Simulation Modeling Handbook : A Pratical Approach Pengarang: Chung, Christopher A | No. Panggil: R 003.3 CHU s | Koleksi: Buku Referens  :: Cari yang mirip  :: Tambahkan ke Favorit  :: OPTOELECTRONIC DEVICES ADVANCE SIMULATION and ANALYSIS Pengarang: Joachim Piprek | No. Panggil: 621.381 PIP o | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Three Scenarios for the Revision of Epistemic States Pengarang: Didier Dubois | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 721-738 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next