Ditemukan 128 dokumen dengan kata kunci 3695 |
Simpan CSV |
Completeness and decidability results for a logic of contrary-to-duty conditionals
|
Pengarang: José M. C. L. M. Carmo and Andrew J. I. Jones | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 585-626 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The complexity of admissible rules of Łukasiewicz logic
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 693-705 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Writing out Unifiers in Linear Temporal Logic
|
Pengarang: Vladimir V. Rybakov | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1199-1206 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Finite RDP-algebras: duality, coproducts and logic
|
Pengarang: Simone Bova and Diego Valota | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 417-450 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Monodic temporal logic with quantified propositional variables
|
Pengarang: Walter Hussak | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 517-544 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Expressing versus Proving: Relating Forms of Complexity in Logic
|
Pengarang: Antonina Kolokolova | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 267-280 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
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 ::
|
|