Modal Logic Intro Syntax & Semantics P door Nino B. Cocchiarella & Max A. Freund