Ditemukan 20 dokumen dengan kata kunci 4595 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Temporal Assertions with Parametrized Propositions
|
Pengarang: Volker Stolz | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 743-757 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complexity for probability logic with quantifiers over propositions
|
Pengarang: Stanislav O. Speranski | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1035-1055 |
|
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 ::
|
|
A tableau for general linear temporal logic
|
Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Labelled Tableaux for Distributed Temporal Logic
|
Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganò | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Qualitative Temporal and Spatial Reasoning Revisited
|
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Fixpoint and While Temporal Query Languages
|
Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Alternating-time temporal dynamic epistemic logic
|
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Strong normalization in some temporal substructural logics
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Embedding-based approaches to paraconsistent and temporal description logics
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|