CS112 Review
	
1. Propositional Logic
	Syntax
	Semantics
	Proof theory
	"Natural Deduction" style proof
	What is satisfiability?
	What is validity?
	Provided: de Morgan rules, Natural Deduction rules, "all the equivalences you could possibly need," 	
	introduction, elimination, double negation, MP, MT 

	Problems: express sentences in propositional logic -- for ambiguous sentences, give all interpretations

2. First Order Logic
	Include possessive ("my sister...")
	Provided: de Morgan rules, Natural Deduction rules, "all the equivalences you could possibly need," 
	introduction, elimination, double negation, MP, MT
	
3. Modal Logic
	Give practice models
	Model checking

4. LTL
	Provided: definition of until (U), equivalences
	Model checking
5. CTL
	Model checking

6. RCC
	No RCC - extra credit √

7. Bisimulation
	Provided: Harmonization, zig, zag
	4 simple models - 2 of these are not like the other (2 are bisimulations, 2 are not, show by zig and zag)
	FSA minimization as extra credit

8. Dynamic Epistemic Logic
	Epistemic/Update logic problem - about the same level as ladder/hat problem

9. PDL
	Syntax of PDL
	Well-formed expressions (are they formulas or programs?--why/why not well-formed)
	Post second set of slide for PDL
	Give example

10. Interval Algebra
	One small problem on internal algebra (composition table)

NOTE: 	No Quantified Modal Logic (First-order ML)