Date  Room  Material covered  Syllabus  Homework 
Wednesday 11 February  B 3.43 
 History and philosophy of intuitionism  Informal "proofs" versus formal "derivations"  Intuitionistic propositional calculus  BHKinterpretation 
pp 18 slides 119 note on informal proofs 
Homework 1 (due Monday 17 February, 11 am) 
Wednesday 18 February  B 3.43 
 Hilberttype systems  Godel's negative translation  Kripke models  Completeness of IPC w.r.t. Kripke semantics 
p 8; pp 1516; p 18; pp 2223 slides 1833, 4950 
Homework 2 (due Monday 23 February, 11 am) 
Wednesday 25 February  B 3.43 
Completeness of IPC w.r.t. Kripke semantics Extensions of IPC (KC, LC) Frame characterizations Completeness of extending logics w.r.t. subclasses of frames Finite model property Predicate logic (syntax) 
pp 1819 Slides 2733 
Homework 3 (due Monday 2 March, 11 am) 
Wednesday 4 March  B 3.43 
Kripke models for predicate logic Some valid and invalid principles of intuitionistic predicate logic Completeness of predicate logic Disjunction property 
pp 1820 slides 2225,34,35,40,41 
Homework 4 (due Monday 9 March, 11 am) 
Wednesday 11 March  B 3.43 
 KP, the KreiselPutnam logic  admissible rules  axiomatization and proofs in HA  nonstandard models of arithmetic (PA)  some extensions of IQC 
pp 21, 10, 11, 20  Homework 5 (due Monday 16 March, 11 am) 
Wednesday 18 March  B 3.43 
 Disjunction property of HA  Proof of de Jongh's theorem for HA  Translation into S4 
pp 20,23,24
slides 48,51,52 
Homework 6 (due Monday 30 March, 11 am) 
Wednesday 1 April  A 406 
 Disjunction property  Slash  Heyting algebras 
p. 20, 30,31 slides pp. 5763 Nick Bezhanishvili, Lattices of intermediate and cylindric modal logics, ILLC Dissertation Series DS200602, Ch. 2.13.2 
Homework 7, part 1 (due Tuesday April 14, 11 am) 
Wednesday 8 April  A 406   Heyting algebras  Bezhanishvili, Ch. 2.1  
Wednesday 15 April  A 406 
 Duality of finite frames and algebras  RiegerNishimura lattice and ladder 
Bezhanishvili, Ch. 2.2 pp. 24, 25 slides 55, 56 

Wednesday 22 April  A 406 
 Duality of finite frames and algebras  Universal models 
Bezhanishvili, Ch. 2.2 Fan Yang, Intuitionistic Subframe Formulas, NNILFormulas and nuniversal Models, ILLC Master of Logic series, MoL200812, Ch 3.13.3 
Homework 8 (due Monday April 27, 11 am with Dick de Jongh) 
Wednesday 29 April  A 406  From thesis Yang: proof that nuniversal model and upper part of ncanonical model are isomorphic. 

Homework 9 (due Monday May 11, 3 pm with Jacob Vosmaer) 
Wednesday 6 May  NO LECTURE 



Wednesday 13 May  
NO LECTURE 

