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

Đã lưu trong:

书目详细资料
主要作者:	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)

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)

The Power of Logic
由: Layman, Stephen
出版: (2005)

Logic, Rationality, and Interaction
由: Blackburn, Patrick, et al.
出版: (2020)

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)

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

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

Fundamentals of logic design
由: Roth, Charles H

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)

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)

Logic
由: Wesley C. Salmon
出版: (1984)

Logic
由: Priest, Graham
出版: (2000)

Logics
由: Nolt, John
出版: (1997)

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)