Fix typos in chapter about filtrations in modal logic

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.08k stars 242 forks source link

Closed Columbus240 closed 2 years ago

Columbus240 commented 2 years ago

Another student pointed out these typos to me.

Points in a filtration are equivalence classes. And in some places, the brackets that mark the equivalence class were missing.
Once the wrong variable is used. (u does not even appear in this proof)
Finally, the parts of a model are introduced with a non-conventional variable.

rzach commented 2 years ago

Thanks!