Modal logic

Mã 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...

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Blackburn, Patrick
פורמט:	ספר
שפה:	Undetermined
יצא לאור:	Cambridge Cambridge University Press 2001
נושאים:	Modality (Logic),Phương thức (Logic)
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Many-Dimensional Modal Logics :
יצא לאור: (2003)

Modal logics are coalgebraic /

Possibilities and paradox :
מאת: J.C. Beall
יצא לאור: (2003)

Mathematics, Models, and Modality: Selected Philosophical Essays
מאת: Burgess, John P
יצא לאור: (2013)

Logic học :
מאת: Lê, Ngọc Triết
יצא לאור: (2013)

Hegel's logic :
מאת: Hegel, Georg Wilhelm Friedrich
יצא לאור: (1975)

Lôgic hình thức
מאת: Vương Tất Đạt
יצא לאור: (1994)

Logic học và phương pháp
מאת: Lê, Tử Thành
יצא לאור: (1991)

Tập bài giảng logic học
מאת: Lê, Duy Ninh
יצא לאור: (2014)

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

The power of logic
מאת: Layman, C. Stephen
יצא לאור: (2005)

The Power of Logic
מאת: Layman, Stephen
יצא לאור: (2005)

Giáo trình Logic học đại cương
מאת: Nguyễn, Như Hải
יצא לאור: (2007)

Giáo trình Logic học đại cương
מאת: Nguyễn, Như Hải
יצא לאור: (2009)

Tìm hiểu lôgic học
מאת: Lê, Tử Thành
יצא לאור: (1991)

Lôgic học đại cương
מאת: Vương, Tất Đạt
יצא לאור: (1998)

Logic học đại cương
מאת: Nguyễn, Như Hải
יצא לאור: (2014)

Lôgic học đại cương
מאת: Vương, Tất Đạt
יצא לאור: (2010)

Giáo trình logic học
מאת: Lê, Thanh Thập
יצא לאור: (2013)

Lôgic học đại cương
מאת: Vương, Tất Đạt
יצא לאור: (1998)

Logic học đại cương :
מאת: Phạm, Quỳnh
יצא לאור: (2014)

Logic, Rationality, and Interaction
מאת: Blackburn, Patrick, et al.
יצא לאור: (2020)

Giáo trình logic hình thức
מאת: Bùi, Thanh Quất
יצא לאור: (1994)

Fundamentals of logic design
מאת: Roth, Charles H

Lôgic học
מאת: Vương, Tất Đạt
יצא לאור: (2001)

Lôgic học
מאת: Vương, Tất Đạt
יצא לאור: (1998)

Giáo trình logic học đại cương
מאת: Nguyễn, Như Hải
יצא לאור: (2009)

Giáo trình logic học đại cương
מאת: Nguyễn, Như Hải
יצא לאור: (2013)

Giáo trình lôgíc học hình thức
מאת: Võ Văn Thắng
יצא לאור: (2012)

Logic
מאת: Wesley C. Salmon
יצא לאור: (1984)

Logic
מאת: Priest, Graham
יצא לאור: (2000)

Logics
מאת: Nolt, John
יצא לאור: (1997)

Programming logic and design, comprehensive
מאת: Farrell, Joyce
יצא לאור: (2002)

Introduction to logic design
מאת: Marcovitz, Alan B.
יצא לאור: (2002)

Introduction to logic design
מאת: Marcovitz, Alan B.
יצא לאור: (2005)

Fundamentals of logic design
מאת: Roth, Charles H.
יצא לאור: (1992)

Introduction to logic design
מאת: Marcovitz, Alan B.
יצא לאור: (2005)

Bước đầu làm quen với logic toán
מאת: Nguyễn, Mạnh Trinh
יצא לאור: (1999)

Symbolic logic
מאת: Agler, David W
יצא לאור: (2013)

The Power of Logic /
מאת: Layman, Stephen
יצא לאור: (2005)