| Ditemukan 127 dokumen dengan kata kunci 4668 |
Simpan CSV  |
|
Labelled natural deduction for a bundled branching temporal logic
|
| Pengarang: Andrea Masini, Luca Viganň, and Marco Volpe | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1093-1163 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Computing Minimal Axiomatizations in Gödel Propositional Logic
|
| Pengarang: Stefano Aguzzoli, Ottavio M. D’Antona, and Vincenzo Marra | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 791-812 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Two Attempts of Describing Propositional Realizability Logic
|
| Pengarang: Valery Plisko | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 639-663 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
| Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
|
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 ::
|
|
|
Bases of Admissible Rules of Łukasiewicz Logic
|
| Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1149-1163 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Non-finitary Sentential Logic that is Elementarily Algebraizable
|
| Pengarang: J.G. Raftery | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 969-975 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
| Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Logic of Acceptance: Grounding Institutions on Agents’ Attitudes
|
| Pengarang: Emiliano Lorini, Dominique Longin, Benoit Gaudou, and Andreas Herzig | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 901-940 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
|
| Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
