Modal logic

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, 等
出版事項: (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)