Modalities and Multimodalities

Beschreibung

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator.
Unique in providing a philosophically and historically based introduction to modal logic accessible to every reader, emphasizing the notion of multimodality as a background while carefully delineating the mathematics behind the topics in a soft pace Offers a conceptual way out of the labyrinth of contemporary modal logic, carefully explaining how modal logics develop from standard logic; the main points behind the syntax and semantics of normal modal systems; the great ideas behind completeness, incompleteness, canonicity and finite models; the mathematical and philosophical importance of temporal logics, logics of knowledge and belief; the generalized syntactical and semantical treatment of multimodalities and finally the pleasures and difficulties of quantified modal logic Intends to offer, through the background of multimodal logics, a panel where philosophers, logicians, linguists, mathematicians and computer scientists will find a common ground of interest Also designed as a repertory of ideas for students interested in progressive inquiry in modal and multimodal logics

Autor*in

Juliana Bueno-Soler

Themen in »Modalities and Multimodalities«

Belief Knowledge Multimodal logics Multimodalities Philosophical aspects of modalities Possible-worlds semantics Time logic modal logic proof proof theory

Stimmen zu »Modalities and Multimodalities«

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 José), 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)

Details

Link teilen