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.
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Boxes and Diamonds, which in turn requires the Open Logic Text.
To install and compile:
OpenLogic/assetsand put the content of
photosinto the subdirectory
photos, and the content of
portraitsinto the subdirectory
If you use
git, this should do it:
# git clone https://github.com/OpenLogicProject/OpenLogic.git # cd OpenLogic/courses # git clone https://github.com/rzach/boxes-and-diamonds.git # cd ../assets # git clone https://github.com/OpenLogicProject/portraits.git # git clone https://github.com/OpenLogicProject/photos.git
courses/boxes-and-diamonds, you can now compile:
# cd boxes-and-diamonds # pdflatex bd-screen
# make if you have
bd-screen.tex produces a color version of the text with smaller margins for screen reading.
bd-print produces a black-and-white version designed for printing on Crown Quarto stock (without cover).
Both versions load
bd.tex, which contains the actual material. It in turn includes other files, most of them from the
OpenLogic repository. So you won’t get a complete book unless you download into the right subdirectory of and compile from there.
Boxes and Diamonds by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.