Ditemukan 142 dokumen dengan kata kunci 4619 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Blending margins: the modal logic K has nullary unification type
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the existence of a modal-logical basis for monadic second-order logic
|
Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 |
|
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 ::
|
|
Terminating sequent calculi for proving and refuting formulas in S4
|
Pengarang: Camillo Fiorentini | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 179-205) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A plea for the majority method in aggregating judgements
|
Pengarang: Juan Carlos García-Bermejo | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1279-1299 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Proof System for Abstract Non-interference
|
Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Perancangan search engine unit kerja di kementrian kehutanan
|
|
Modal compact Hausdorff spaces
|
Pengarang: Guram Bezhanishvili, Nick Bezhanishvili, and John Harding | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 1-35) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Relation-changing modal operators
|
Pengarang: Carlos Areces, Raul Fervari, and Guillaume Hoffmann | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 601-627) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Exemplaric Expressivity of Modal Logics
|
Pengarang: Bart Jacobs and Ana Sokolova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1041-1068 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|