Open textbook on modal logic
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
assets initial commit Jan 14, 2018
.gitignore initial commit Jan 14, 2018
LICENSE.md initial commit Jan 14, 2018
Makefile
README.md add instructions for cloning photos and portraits to README Feb 21, 2018
bd-appendices.tex initial commit Jan 14, 2018
bd-axioms-systems.tex
bd-backmatter.tex
bd-completeness.tex initial commit Jan 14, 2018
bd-config.sty
bd-envs.sty fix derivations Jan 24, 2018
bd-filtrations.tex
bd-frontmatter.tex add intuitionistic logic Feb 26, 2018
bd-screen.tex
bd-syntax-and-semantics.tex
bd-titlepage.tex
bd.tex

README.md

Boxes and Diamonds

Book Cover\

A textbook for modal and other intensional logics based on the Open Logic Project.

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.

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/assets and put the content of photos into the subdirector photos, and the content of portraits into the subdirectory portraits

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.

Creative Commons License

Boxes and Diamonds by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.