/first-order-modal-logic

Work in progress "First Order Modal Logic" textbook exercises.

Primary LanguageLean

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.