Modal logic an introduction to its syntax and semantics
A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is for...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York
Oxford University Press
2008, 2008
|
| Subjects: | |
| Online Access: | |
| Collection: | Oxford University Press - Collection details see MPG.ReNa |
| Summary: | A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven |
|---|---|
| Physical Description: | xi, 268 p. |
| ISBN: | 9780199851898 0199851891 |