Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic.

Download File Size:10.76 MB

---