Be ready to talk about your project for 10-15 minutes w/ another 5-10 minutes for feedback, praise, comments.
General format
Introduce the project. Tell us what it is, state what you are trying to do, try to sell it.
Explain the project and give some sense of narrative.
State how logic is involved.
State what you'd like to do and what you still need to do (but maybe won't given time). It is alright if there are holes, limitations. This is a chance for others to contribute.
Modal Propositional Logic
Introduction
Symbols
Syntax
Semantics
Models
Worlds
Interpretation function
Accessibility Relation
Translation
Break
Modal Systems
Trees
Modal Scope Ambiguity
Current Schedule
4/28 - Presentations
5/3 - Final Project Due (submit via Canvas or meet with me to turn it in person)