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...

Ful tanımlama

Detaylı Bibliyografya
Yazar:	Konyndyk, Kenneth J., Jr
Materyal Türü:	Licensed eBooks
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Notre Dame : University of Notre Dame Press, 1986.
Online Erişim:	https://www.jstor.org/stable/10.2307/jj.21995505

İçindekiler:

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

Introductory Modal Logic

Benzer Materyaller