ENGLISH

Modalities and Multimodalities

By Walter A Carnielli , Claudio Pizzi

Book information

Publisher
Springer
Year
2008
ISBN
978-1-4020-8589-5, 978-1-4020-8590-1, 1402085907, 1402085893
Language
english
Format
PDF
Filesize
2 MB (2411561 bytes)
Series
Logic, Epistemology, and the Unity of Science, 12
Pages
311\311
Topic
Mathematics Logic
Time added
2014-05-28 20:34:30

Description

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. Read more... Content: Modal logic and standard logic; The syntax of normal modal systems; The semantics of normal modal systems; Completeness and canonicity; Incompleteness and finite models; Temporal logics; Epistemic logic: knowledge and belief; Multimodal logics; Towards quantified modal logic. Abstract: Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists. Read more...

Similar books