Modal logic

Côd QR

Modal logic

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set t...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Blackburn, Patrick
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cambridge Cambridge University Press 2001
Pynciau:	Modality (Logic),Phương thức (Logic)
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Eitemau Tebyg

Many-Dimensional Modal Logics :
Cyhoeddwyd: (2003)

Modal logics are coalgebraic /

Possibilities and paradox :
gan: J.C. Beall
Cyhoeddwyd: (2003)

Mathematics, Models, and Modality: Selected Philosophical Essays
gan: Burgess, John P
Cyhoeddwyd: (2013)

Logic học :
gan: Lê, Ngọc Triết
Cyhoeddwyd: (2013)

Hegel's logic :
gan: Hegel, Georg Wilhelm Friedrich
Cyhoeddwyd: (1975)

Lôgic hình thức
gan: Vương Tất Đạt
Cyhoeddwyd: (1994)

Logic học và phương pháp
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

Tập bài giảng logic học
gan: Lê, Duy Ninh
Cyhoeddwyd: (2014)

A formal model of ontology for handling fuzzy membership and typicality of instances /
gan: Yeung, Ching-man Au.

The power of logic
gan: Layman, C. Stephen
Cyhoeddwyd: (2005)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2007)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2009)

The Power of Logic
gan: Layman, Stephen
Cyhoeddwyd: (2005)

Tìm hiểu lôgic học
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

Lôgic học đại cương
gan: Vương, Tất Đạt
Cyhoeddwyd: (1998)

Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2014)

Lôgic học đại cương
gan: Vương, Tất Đạt
Cyhoeddwyd: (2010)

Giáo trình logic học
gan: Lê, Thanh Thập
Cyhoeddwyd: (2013)

Lôgic học đại cương
gan: Vương, Tất Đạt
Cyhoeddwyd: (1998)

Logic học đại cương :
gan: Phạm, Quỳnh
Cyhoeddwyd: (2014)

Logic, Rationality, and Interaction
gan: Blackburn, Patrick, et al.
Cyhoeddwyd: (2020)

Giáo trình logic hình thức
gan: Bùi, Thanh Quất
Cyhoeddwyd: (1994)

Lôgic học
gan: Vương, Tất Đạt
Cyhoeddwyd: (2001)

Fundamentals of logic design
gan: Roth, Charles H

Lôgic học
gan: Vương, Tất Đạt
Cyhoeddwyd: (1998)

Giáo trình logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2009)

Giáo trình logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2013)

Giáo trình lôgíc học hình thức
gan: Võ Văn Thắng
Cyhoeddwyd: (2012)

Programming logic and design, comprehensive
gan: Farrell, Joyce
Cyhoeddwyd: (2002)

Logic
gan: Wesley C. Salmon
Cyhoeddwyd: (1984)

Logic
gan: Priest, Graham
Cyhoeddwyd: (2000)

Logics
gan: Nolt, John
Cyhoeddwyd: (1997)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2002)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

Fundamentals of logic design
gan: Roth, Charles H.
Cyhoeddwyd: (1992)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

Bước đầu làm quen với logic toán
gan: Nguyễn, Mạnh Trinh
Cyhoeddwyd: (1999)

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

The Power of Logic /
gan: Layman, Stephen
Cyhoeddwyd: (2005)

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_6f9c2755jt90qgjgr20u5gj1pq
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235