PHIL-381   Advanced Logic

Topics include the formalization of propositional and quantificational logic, alethic modal logic including semantic interpretations, various other modalities, alternative logics, and other formalisms of philosophical importance.