Download or read book Boxes and Diamonds written by Richard Zach and published by . This book was released on 2019-11-09 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: A textbook on modal and other intensional logics. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals. It is based on the Open Logic Project and available for free download at openlogicproject.org.