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.
Work in progress "First Order Modal Logic" textbook exercises.
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.
Work in progress "First Order Modal Logic" textbook exercises.