This course covers sentential and quantified modal logic, with emphasis on the model theory ("possible worlds semantics"). 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.
You are being taken to the material on
another site. This will open a new window.
Rate this Material
You just viewedModal Logic.
Please take a moment to rate this material.
Search by ISBN?
It looks like you have entered an ISBN number. Would you like to search using what you have
entered as an ISBN number?
Searching for Members?
You entered an email address. Would you like to search for members? Click Yes to continue. If no, materials will be displayed first. You can refine your search with the options on the left of the results page.