Ditemukan 176 dokumen dengan kata kunci 3593 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On a coalgebraic view on Logic
|
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
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 ::
|
|
Logic for coalitions with bounded resources
|
Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Public communication in justification logic
|
Pengarang: Bryan Renne | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1005-1034 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Eskolemization in Intuitionistic Logic
|
Pengarang: Matthias Baaz and Rosalie Iemhoff | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 625-638 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Logic of Quasi-MV Algebras
|
Pengarang: Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, dll | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 619-643 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Tableaux for Public Announcement Logic
|
Pengarang: Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 55-76 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Analytic Methods for the Logic of Proofs
|
Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algebras of Relations and Relevance Logic
|
Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
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 ::
|
|