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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur: Konyndyk, Kenneth J., Jr
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