Ditemukan 41 dokumen dengan kata kunci 4636 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On Graph-theoretic Fibring of Logics
|
Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1321-1357 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Graph-theoretic Account of Logics
|
Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1281-1320 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preservation by fibring of the finite model property
|
Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reduction of provability logics to Σ1-provability logics
|
Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Initial semantics in logics with constructors
|
Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The expressivity of update logics
|
Pengarang: Louwe B. Kuijer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 719-742) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics for some dynamic spaces-I
|
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On meet-combination of logics
|
Pengarang: A. Sernadas, C. Sernadas,and J. Rasga | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1453-1470 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Temporal Logics of Repeating Values
|
Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Expressible preferential logics
|
Pengarang: Francicleber Martins Ferreira and Ana Teresa Martins | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1125-1143 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|