Modal Logic By Robert Stalnaker
by Robert Stalnaker
Publisher: MIT OpenCourseWare 2009
This course covers sentential and quantified modal logic, with emphasis on the model theory. Topics include soundness, completeness, characterization results for alternative systems, sense and dynamic logics, epistemic logics, as well as logics of necessity and possibility. Course material applies to philosophy, theoretical computer science, and linguistics.
Please Note: The contents and links above are from www.e-booksdirectory.com, Different Copyright Situations May Apply. To Check More Download Options, or View Copyright Statement, Please Click the Link Below: