| Ditemukan 66 dokumen dengan kata kunci 4417 |
Simpan CSV  |
|
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 ::
|
|
|
Standard Logics Are Valuation-Nonmonotonic
|
| Pengarang: Mladen Pavičić and Norman D. Megill | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 959-982 |
|
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
| Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
State smearing theorems and the existence of states on some atomic lattice effect algebras
|
| Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
|
| Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
