Ditemukan 60 dokumen dengan kata kunci 4465 |
Simpan CSV |
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 ::
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2
|
Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 |
|
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 ::
|
|
Relevance Realization and the Emerging Framework in Cognitive Science
|
Pengarang: John Vervaeke, Timothy P. Lillicrap, and Blake A. Richards | No. Panggil: Journal of Logic and Computation February 2012, 22 (1), p. 79-99 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First steps towards probabilistic justification logic
|
Pengarang: Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, and Thomas Studer | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 662-687) |
|
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 ::
|
|
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 ::
|
|
Three Scenarios for the Revision of Epistemic States
|
Pengarang: Didier Dubois | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 721-738 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|