0modal Logic Intro Syntax & Semantics C door Nino B. Cocchiarella & Max A. Freund