## Phil 143: Modal Logic

**Instructor:** Prof. Wesley Holliday

### Office Hours

**Office: ** 737 Evans

**Office Hours: ** Monday 1pm-3pm, or by appointment

### Section Times and Locations

Friday 10am-11am in 31 Evans

Friday 11am-12pm in 31 Evans

Friday 1pm-2pm in 233 Dwinelle

### Handouts from Section

##### Notes

##### Worksheets

- Modal Truth & Bisimulations [solutions]
- Axiomatic Proofs [solutions]
- Extensions of K [solutions]
- Counterfactuals [solutions]
- Knowledge [solutions]
- Dynamic Epistemic Logic [solutions]

### Course Mechanics

##### Course Syllabus

You can retrieve the syllabus from bCourses when you lose your copy.

##### Piazza

Be sure to sign up for the course’s Piazza site: Phil 143. There, you and your fellow students can ask and answer questions (anonymously if you wish) regarding the material.

##### LaTeX

If you want to type your homeworks instead of writing them, the tool you’ll want to use is LaTeX. We’ll have a special LaTeX session on January 27 (details will be sent through bCourses). For more references on typing documents in LaTeX, see my LaTeX page.