Description |
1 online resource (xiii, 303 pages) : illustrations |
Series |
Logic, epistemology, and the unity of science ; v. 12 |
|
Logic, epistemology and the unity of science ; v. 12.
|
Contents |
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 |
Summary |
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 |
Analysis |
filosofie |
|
philosophy |
|
geschiedenis |
|
history |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Philosophy (General) |
|
Filosofie (algemeen) |
Bibliography |
Includes bibliographical references and indexes |
Notes |
English |
|
Print version record |
In |
Springer eBooks |
Subject |
Modality (Logic)
|
|
Electronic Data Processing
|
|
PHILOSOPHY -- Logic.
|
|
Modality (Logic)
|
|
Sciences humaines.
|
|
Sciences sociales.
|
|
Modality (Logic)
|
Form |
Electronic book
|
Author |
Pizzi, Claudio, 1944-
|
|
Bueno-Soler, Juliana.
|
LC no. |
2008935448 |
ISBN |
9781402085901 |
|
1402085907 |
|