Logic Puzzles and Modal Logic. Closure properties in modal logic.
Logic Puzzles: Origins, problems, and games GSS October 1, 2012 Peder Thompson.
1 Chapter 7 Propositional and Predicate Logic. 2 Chapter 7 Contents (1) l What is Logic? l Logical Operators l Translating between English and Logic l.
1 Explicit Contexts in LF Karl Crary Carnegie Mellon University Workshop on Mechanized Metatheory, 9/21/06.
Identity and Necessity Saul Kripke. Kripke in fiction.