| Ditemukan 56 dokumen dengan kata kunci 4691 |
Simpan CSV  |
|
On deontic action logics based on Boolean algebra
|
| Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Bijective faithful translations among default logics
|
| Pengarang: Paolo Liberatore | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 763-807 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Probabilistic logics for objects located in space and time
|
| Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Strong normalization in some temporal substructural logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut Elimination and Realization for Epistemic Logics with Justification
|
| Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
| Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
| Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
|
| Pengarang: Liesbeth De Mol, Martin Carlé, Maarten Bullynck | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1011-1046) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
| Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
| Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
