This repository contains formalizations and some of my exercise solutions to Melvin Fitting and Richard L. Mendelsohn's 1998 book, First-Order Modal Logic. I thank Thomas for lending me his copy.
james-oswald / first-order-modal-logic Goto Github PK
View Code? Open in Web Editor NEWWork in progress "First Order Modal Logic" textbook exercises.