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

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Blackburn, Patrick
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	Cambridge Cambridge University Press 2001
Ábhair:	Modality (Logic),Phương thức (Logic)
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Many-Dimensional Modal Logics :
Foilsithe: (2003)

Modal logics are coalgebraic /

Possibilities and paradox :
le: J.C. Beall
Foilsithe: (2003)

Mathematics, Models, and Modality: Selected Philosophical Essays
le: Burgess, John P
Foilsithe: (2013)

Logic học :
le: Lê, Ngọc Triết
Foilsithe: (2013)

Hegel's logic :
le: Hegel, Georg Wilhelm Friedrich
Foilsithe: (1975)

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

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

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

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

The power of logic
le: Layman, C. Stephen
Foilsithe: (2005)

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

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

The Power of Logic
le: Layman, Stephen
Foilsithe: (2005)

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

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

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

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

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

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

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

Logic, Rationality, and Interaction
le: Blackburn, Patrick, et al.
Foilsithe: (2020)

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

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

Fundamentals of logic design
le: Roth, Charles H

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

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

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

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

Programming logic and design, comprehensive
le: Farrell, Joyce
Foilsithe: (2002)

Logic
le: Wesley C. Salmon
Foilsithe: (1984)

Logic
le: Priest, Graham
Foilsithe: (2000)

Logics
le: Nolt, John
Foilsithe: (1997)

Introduction to logic design
le: Marcovitz, Alan B.
Foilsithe: (2002)

Introduction to logic design
le: Marcovitz, Alan B.
Foilsithe: (2005)

Fundamentals of logic design
le: Roth, Charles H.
Foilsithe: (1992)

Introduction to logic design
le: Marcovitz, Alan B.
Foilsithe: (2005)

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

Symbolic logic
le: Agler, David W
Foilsithe: (2013)

The Power of Logic /
le: Layman, Stephen
Foilsithe: (2005)