Jan 25 
What is Logic? 
.pdf 


Part I: The Tableau Method for Propositional Logic 

Jan 27  Valuations 
.pdf 
Feb 1  Validity 
.pdf 
Feb 3  Boolean Decision Diagrams 
.pdf 
Feb 8  Analytic Tableaux 
.pdf 
Feb 10  Consistency 
.pdf 
Feb 15  Completeness 
.pdf 
Feb 17  Compactness (Analytic Proofs) 
.pdf 
Feb 22  Compactness (Lindenbaum's construction) 
.pdf 

 Part II: Alternative Proof Methods 

Feb 24  From Analytic Tableaux to Gentzen Systems 
.pdf 
Mar 1  From Gentzen Systems to Refinement Logic 
.pdf 
Mar 3  Refinement Logic 
.pdf 
Mar 8  Correctness and Completeness of Refinement Logic 
.pdf 

 Part III: FirstOrder Logic 

Mar 10  Second Order Propositional Logic (Syntax, Substitution) 
.pdf 
Mar 15  Second Order Propositional Logic (Semantics
and Proof Rules) 
included in the above 
Mar 17  FirstOrder Logic (Syntax and Semanctics) 
.pdf 
Mar 22  No class (spring break) 
Mar 24  No class (spring break) 
Mar 29  FirstOrder Tableaux (Proof System) 
.pdf 
Mar 31  FirstOrder Tableaux (Correctness and Completeness) 
.pdf 
Apr 5  FirstOrder Logic (Undecidability and Compactness) 
.pdf 

 Part IV: Topics in Logic  
Apr 7  TBA  
Apr 12  Cancelled  
Apr 14  Encoding Mathematics in FOL  .pdf 
Apr 19  Cancelled  
Apr 21  Reasoning about Security Policies (Vicky Weissman)  
Apr 26  Introduction to Modal Logic  Class handout 
Apr 28  HilbertStyle Axiomatizations  Class handout 
May 3  Modal Logic of Programs I  Class handout 
Apr 5  Modal Logic of Programs II  Class handout 