Boxes and Diamonds: An Open Introduction to Modal Logic
Richard Zach · PhilPapers (PhilPapers Foundation) · 2019
A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.