Logic of the modal operators It is necessary that and It is possible that. Possible-world semantics and a method of derivation for this logic. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
Logic of the modal operators It is necessary that and It is possible that. Possible-world semantics and a method of derivation for this logic. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
