CSSE 490: Proposed Logical Systems

• Josh and Daniel: Tertiary Logic
• Michael and Andy: Temporal Logic
• Ben: Diagrammatic logic