TY  - GEN
T1  - Introductory Modal Logic
A1  - Konyndyk, Kenneth J., Jr
LA  - English
PP  - Notre Dame
PB  - University of Notre Dame Press
YR  - 1986
UL  - https://ebooks.jgu.edu.in/Record/jstor_dda_on1148893092
AB  - 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 in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.
OP  - 145
CN  - BC199.M6
SN  - 9780268082581
SN  - 0268082588
KW  - Modality (Logic)
KW  - Modalité (Logique)
KW  - PHILOSOPHY / Logic
KW  - Electronic books.
ER  -