A few small fixes for modal logic

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 238 forks source link

Closed eguindon closed 1 month ago

eguindon commented 1 month ago

A few typo/phrasing issues spotted while teaching modal logic from the text this spring term.

rzach commented 1 month ago

Thanks!