+612 9045 4394
Modalities and Multimodalities : Logic, Epistemology, and the Unity of Science - Walter A. Carnielli

Modalities and Multimodalities

Logic, Epistemology, and the Unity of Science

Paperback Published: 5th November 2009
ISBN: 9789048137626
Number Of Pages: 304

Share This Book:


or 4 easy payments of $36.76 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Hardcover View Product Published: 14th October 2008

This book is intended to provide a philosophically- and historically-based introduction to modal logic, offering to every reader, even those with little specific background, a conceptually clear path through the labyrinth of contemporary modal logic. This is done by emphasizing the notion of multimodality while delineating the formal side of the semantics and proof theory behind the topics in a smooth and gentle pace. The conceptual thread which ties the book together passes through topics like the development of modal logic from standard logic; the syntax and semantics of normal modal systems; the seminal ideas behind completeness, incompleteness, canonicity and finite models; the temporal logics, the logics of knowledge and belief; the generalized syntactical and semantical treatment of multimodalities and finally the pleasures and difficulties of quantified modal logic.

Multimodality is the notion which stands behind the most fertile investigations in modal logic, such as temporal logics, epistemic logics, dynamic logics and so on. By focusing on multimodal logic this book provides common ground for philosophers, logicians, linguists, mathematicians and computer scientists.The book is also designed to provide a repertoire of ideas and techniques for students interested in progressive inquiry in modal and multimodal logic. Each chapter is relatively independent, complemented with exercises and followed by a short bibliographical commentary intended for historically-minded readers.

Industry Reviews

From the reviews:

"This is mainly an introductory textbook on modal logic containing, apart from standard topics, some very important recent material which is not regularly included in other textbooks. [...] It is important to note that several of the different topics dealt with in the book are accompanied by philosophical remarks." Max A. Freund (San Jose), taken from his review of the Italian version Modalità e Multimodalità

"This revised work constitutes an introduction to standard topics in modal logic. There are other sections presenting valuable material not generally included in elementary textbooks on modal logic ... . The book is written in a clear and agreeable style and useful exercises and references for further reading are given at the end of each chapter. ... Due to all these features, the book is well suited for an introductory course in modal logic or as supplementary reading in an intermediate logic course." (Max A. Freund, Zentralblatt MATH, Vol. 1210, 2011)

Preface.- 1. Modal logic and standard logic.- 2. The syntax of normal modal systems.- 3. The semantics of normal modal systems.- 4.Completeness and canonicity.- 5. Incompleteness and finite models.- 6. Temporal logics.- 7. Epistemic logic: knowledge and belief.- 8. Multimodal logics.- 9. Towards quantified modal logic.- Bibliography.- Index.

ISBN: 9789048137626
ISBN-10: 9048137624
Series: Logic, Epistemology, and the Unity of Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 304
Published: 5th November 2009
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.39 x 15.6  x 1.7
Weight (kg): 0.45