Modal logic

কিউআর কোড

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)