Introductory Modal Logic
Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important...
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Licensed eBooks |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Notre Dame :
University of Notre Dame Press,
1986.
|
| Διαθέσιμο Online: | https://www.jstor.org/stable/10.2307/jj.21995505 |
Πίνακας περιεχομένων:
- Cover
- Half title
- Title page
- Copyright
- CONTENTS
- PREFACE
- INTRODUCTION
- 1. PROPOSITIONAL LOGIC
- 2. PROPOSITIONAL MODAL LOGIC
- 3: QUANTIFICATION
- 4. QUANTIFIED MODAL LOGIC
- APPENDIX I
- APPENDIX II
- APPENDIX III
- NOTES
- BIBLIOGRAPHY