CSSE 490: Tutorial of a Logic System.

The purpose of this assignment is to learn about a logical system other than Propositional or First-Order Logic.

Work on this assignment in pairs.
Identify a logical system. Do this by Monday, October 12th. Please discuss with me or email me your proposed area. If more than one group proposes the same area then the first group to propose it will get first dibs. As soon as I approve a logical system, I will post them here so that you know what has been proposed already.
Here is a list of potential topics. You should select one that grabs your attention, whether it is on this list or not.
- Temporal Logic
- Modal Logic
- Logics with more than two truth values
- Logics that attempt to capture situations.
- Description Logic
- Logical reasoning with diagrams
You will be giving a tutorial to the class. You have the entire class session to do so. In it you will introduce, among others, the reason why this logic is interesting, the syntax and semantics of the logical system, the rules of inference and a good proof system. You will provide motivation for the rules and give several examples. You should assign a small exercise for students to solve in small groups during class time. You will also provide or address soundness and completeness proofs, if they exist. Finally, you will evaluate the strengths and weaknesses of the logical system you introduced and assign and grade homework problems designed to learn the logical system.