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.
You can download the PDF of the most recent version from the Open Logic builds site, or order a hardcopy from Amazon [US] [CA] [UK] [DE].
To install and compile:
- Download/install the Open Logic Text from GitHub, including photos and line art portraits.
- Navigate to the subdirectory
courses/ - Put the content of this repository into a subdirectory of it, say
courses/boxes-and-diamonds. - To get the graphics for the cover, navigate to the subdirectory
OpenLogic/assetsand put the content ofphotosinto the subdirectoryphotos, and the content ofportraitsinto the subdirectoryportraits
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
Inside courses/boxes-and-diamonds, you can now compile:
# cd boxes-and-diamonds
# pdflatex bd-screen
or just # make if you have latexmk installed.
The file 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.