Ditemukan 176 dokumen dengan kata kunci 3593 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
|
Pengarang: Cătălin Dima | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 939-958 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
|
Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
|
Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Notion of Coherence for Books on Conditional Events in Many-valued Logic
|
Pengarang: Franco Montagna | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 829-850 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
|
Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
|
Pengarang: Rajeev Goré and Linda Postniece | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 233-260 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
|
Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Construction of biological networks from unstructured information based on a semi-automated curation workflow
|
Pengarang: Justyna Szostak, Sam Ansari, Sumit Madan, Juliane Fluck, dll | No. Panggil: Database (Volume 2015, p. bav057) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Separating Protection from Politics: The UN Security Council, the 2011 Ivorian Political Crisis and the Legality of Regime Change
|
Pengarang: Sean Butler | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 2 Summer 2015, p. 251-276) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|