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)