| Ditemukan 61 dokumen dengan kata kunci 4581 |
Simpan CSV  |
|
Rank-1 Modal Logics are Coalgebraic
|
| Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 |
|
|
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 ::
|
|
|
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
| Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
| Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On a coalgebraic view on Logic
|
| Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Presentation of Set Functors: A Coalgebraic Perspective
|
| Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
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 ::
|
|
Hasil Pencarian
