Non-standard logics, including modal, intuitionistic, and temporal logics. Possible world semantics. Take good care of them and do not forget to return them to the TA at the end of the term. It is on sale at Meteksan bookstore. This consists of 2 volumes and the first volume is especially recommended.
Late submissions get no credit.
The TA won't accept submissions after 12 noon on the due date of a homework. Make sure that your diskette is free of viruses. Concatenate both surnames if you are working as a group of two. Of course, you must still put a label on your diskettes with your full names and the names of submitted files. Also read this paper.