An Introduction to Modal Logic
Material type:
TextPublication details: London Methuen & Co Ltd 1968Description: 388pDDC classification: - N14 H874
Partial contents:
Non-modal propositional calculus The lower predicate calculus Modality and existence Identity and description in modal lpc The lewis system Validity and decision procedures for various systems Non-standard systems Boolean algebra and modal logic
| Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
DVK Library Stack -> Second Floor -> N | N14 H874 (Browse shelf(Opens below)) | C1 | Available | 00 Edn 1968 388p | 11040199 | ||
|
Books
|
DVK Library | N14 H874 (Browse shelf(Opens below)) | C2 | Available | 00 Edn 1968 388p | 11052241 |
includes index and biblioraphy
Non-modal propositional calculus The lower predicate calculus Modality and existence Identity and description in modal lpc The lewis system Validity and decision procedures for various systems Non-standard systems Boolean algebra and modal logic
There are no comments on this title.
Log in to your account to post a comment.