Ditemukan 184 dokumen dengan kata kunci 4554 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Cut Elimination and Realization for Epistemic Logics with Justification
|
Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Argument Relevance as the Right Kind of Epistemic Reason
|
Pengarang: Jonathan E. Adler | No. Panggil: Journal of Logic and Computation February 2012, 22 (1), p. 113-127 |
|
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 ::
|
|
The enriched effect calculus: syntax and semantics
|
Pengarang: Jeff Egger, Rasmus Ejlers Møgelberg, and Alex Simpson | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 615-654 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Applying Universal Algebra to Lambda Calculus
|
Pengarang: Giulio Manzonetto and Antonino Salibra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 877-915 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
|
Pengarang: Farnaz Derakhshan, Trevor Bench-Capon, and Peter McBurney | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 355-372 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A small model theorem for the hybrid μ-calculus
|
Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What is a model for a semantically linear λ-calculus?
|
Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 |
|
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 ::
|
|