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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Konyndyk, Kenneth J., Jr
Ձևաչափ: Licensed eBooks
Լեզու:անգլերեն
Հրապարակվել է: Notre Dame : University of Notre Dame Press, 1986.
Առցանց հասանելիություն: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

Նմանատիպ նյութեր

Ուսումնասիրեք հարակից ալիքները