Modalities and Multimodalities

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