Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit


Git stats


Failed to load latest commit information.
Latest commit message
Commit time

What If?

Book Cover

A textbook on non-classical logics based on the Open Logic Project. Work in progress!

This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook What if?, 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/what-if.
  • To get the graphics for the cover, navigate to the subdirectory OpenLogic/assets and put the content of photos into the subdirectory photos, and the content of portraits into the subdirectory portraits

If you use git, this should do it:

# git clone
# cd OpenLogic/courses
# git clone
# cd ../assets
# git clone
# git clone

Inside courses/what-if, you can now compile:

# cd what-if
# pdflatex wi-screen

or just # make if you have latexmk installed.

The file wi-screen.tex produces a color version of the text with smaller margins for screen reading. wi-print produces a black-and-white version designed for printing on Crown Quarto stock (without cover).

Both versions load wi.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

What If? by Audrey Yap and Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.


Textbook on non-classical logics







No releases published


No packages published