
15816 Modal Logic
Assignments
Preliminary Information Below
 Assignments generally are given out Tuesday or Thursday in lecture
and are due one week later.
 Assignments must be your individual work.
You may discuss the homeworks with others, but you must write up and
hand in your own solutions.
 Homeworks may require an implementation, or simply a writeup
with pencil and paper or LaTeX.
 If you want to typeset your answers, we recommend proof.sty, a
collection of LaTeX
macros for typesetting deductions. We will post sample lecture notes.
 Emphasis is on correctness and
elegance. Some assignments may be very difficult. If
you cannot do them, write down your thoughts for partial credit, but
never hand back an incorrect "proof".
 Written homeworks are to be handed in at the beginning of lecture
on the due date.
Out 
Assignment 
Reference 
Due 
Solutions 

Jan 14 
Assignment 1: L1.1, L1.4, L1.9, L2.1, L2.2, L2.10 
LaTeX Example 
Thu Jan 21 
Jan 21 
Assignment 2: L3.1, L3.5, L4.1, L4.6, L4.9 

Tue Feb 2 
Feb 2 
Assignment 3: L5.2, L5.3, L7.1, L7.2, L7.3, L7.4 

Tue Feb 9 
Feb 16 
Assignment 4: L8.2, L8.10, L9.2, L9.3, L9.5 

Tue Feb 23 
Feb 23 
Assignment 5: L10.1, L10.2, L10.3, L10.4, L11.1, L11.2, L11.3 

Tue Mar 2 
[ Home
 Schedule
 Assignments
 Projects
 Handouts
 Resources
]
fp@cs, aplatzer@cs
Frank Pfenning,
André Platzer
