| Ditemukan 66 dokumen dengan kata kunci 4623 |
Simpan CSV  |
|
Sequent Calculi for the Modal µ-Calculus over S5
|
| Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On modal μ-calculus over reflexive symmetric graphs
|
| Pengarang: Giovanna D'Agostino and Giacomo Lenzi | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 445-455 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Sequent calculi for induction and infinite descent
|
| Pengarang: James Brotherston and Alex Simpson | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1177-1216 |
|
|
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 ::
|
|
|
Modal Operators over Constructive Logic
|
| Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
| Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On guarded transformation in the modal μ-calculus
|
| Pengarang: Florian Bruse, Oliver Friedmann, and Martin Lange | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 194-216) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Bi-modal Gödel logic over [0,1]-valued Kripke frames
|
| Pengarang: Xavier Caicedo and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 37-55) |
|
|
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 ::
|
|
|
General Models and Completeness of First-Order Modal μ-calculus
|
| Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
