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...
Prif Awdur: | |
---|---|
Fformat: | Licensed eBooks |
Iaith: | Saesneg |
Cyhoeddwyd: |
Notre Dame :
University of Notre Dame Press,
1986.
|
Mynediad Ar-lein: | https://www.jstor.org/stable/10.2307/jj.21995505 |