| Ditemukan 107 dokumen dengan kata kunci 4672 |
Simpan CSV  |
|
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 ::
|
|
|
A logic for normative multi-agent programs
|
| Pengarang: Mehdi Dastani, John-Jules Ch. Meyer, and Davide Grossi | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 335-354 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
| Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
|
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 ::
|
|
|
First-order universality for real programs
|
| Pengarang: Thomas Anberrée | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 729-751 |
|
|
Koleksi: e-Article Oxford Journal ::
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 ::
|
|
|
Modelling epistemic actions in interrogative belief revision
|
| Pengarang: Sebastian Enqvist | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1335-1365 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
