Ditemukan 139 dokumen dengan kata kunci 4614 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Trilattice logic: an embedding-based approach
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Nested sequents for provability logic GLP
|
Pengarang: Daniyar Shamkanov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 789-815) |
|
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 ::
|
|
A resolution-based calculus for Coalition Logic
|
Pengarang: Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 883-917 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A tableau for general linear temporal logic
|
Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proto logic and neural subsymbolic reasoning
|
Pengarang: Andreas Wichert | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 627-643 |
|
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 ::
|
|
The complexity of reasoning for fragments of default logic
|
Pengarang: Olaf Beyersdorff, Arne Meier, Michael Thomas, and Heribert Vollmer | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 587-604 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Social choice and the logic of simple games
|
Pengarang: Tijmen R. Daniëls | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 883-906 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|