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 |