| Ditemukan 123 dokumen dengan kata kunci 4695 |
Simpan CSV  |
|
On Dynamic Topological Logic of the Real Line
|
| Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The d-logic of the real line
|
| Pengarang: Joel Gregory Lucero-Bryan | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 121-156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the Priorean temporal logic with ‘around now’ over the real line
|
| Pengarang: Ian Hodkinson | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1071-1110) |
|
|
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 ::
|
|
|
Obligations with deadlines: a formalization in Dynamic Deontic Logic
|
| Pengarang: Robert Demolombe | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p. 1-17 |
|
|
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 ::
|
|
|
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 ::
|
|
|
A Topological Study of the Closed Fragment of GLP
|
| Pengarang: Thomas Icard | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 683-696 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Formula2-computable real numbers
|
| Pengarang: Dimiter Skordev, Andreas Weiermann, and Ivan Georgiev | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 899-925 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-I
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
