Ditemukan 121 dokumen dengan kata kunci 4334 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
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 ::
|
|
Calculus
|
|
Calculus
|
|
Calculus
|
|
Core of Coalition Games on MV-algebras
|
Pengarang: Tomáš Kroupa | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 479-492 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Beginning Calculus
|
|
Embedding the hypersequent calculus in the display calculus
|
Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Nominal Axiomatization of the Lambda Calculus
|
Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cirquent Calculus Deepened
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 983-1028 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|