Ditemukan 97 dokumen dengan kata kunci 4621 |
Simpan CSV |
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 ::
|
|
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 ::
|
|