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. Intends to offer, through the background of multimodal logics, a panel where philosophers, logicians, linguists, mathematiciansand computer scientists will find a common ground of interest Also designed as a repertory of ideas for students interested in progressive inquiry in modaland multimodal logics INDICE: 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: 978-1-4020-8589-5
- Editorial: Springer
- Encuadernacion: Cartoné
- Páginas: 320
- Fecha Publicación: 01/10/2008
- Nº Volúmenes: 1
- Idioma: Inglés