First-Order Modal Logic (Paperback, 2, Second 2023)

Preface.-?Acknowledgments.-?Part I. Background: Propositional Classical Logic.?1. Background: Propositional Language.- 2. Background: Propositional Axiomatics.-?3. Background: Propositional Tableaus.-?Part II. Propositional Modal Logic.?4. Modal Logic, an Introduction.-?5. Propositional Modal Logic.-?6. Propositional Modal Axiom Systems.-?7. Propositional Modal Tableaus.-?Part III. First-Order Modal Logic.?8. Quantified Modal Logic.-?9. First-Order Modal Tableaus.-?10. First-Order Modal Axiomatics.-?Part IV. Equality and Existence.?11. Equality.-?12. Existence.-?Part V. Predicate Abstraction and Scope.?13. Predicate Abstraction, Informally.-?14. Predicate Abstraction, Formally.-?15. Tableaus for Predicate Abstraction.-?16. Tableau Soundness and Completeness.?Part VI. Applications.?17. Equality and Predicate Abstraction.-?18. Designation.-?19. Rigidity.-?20. Definite Descriptions.-?Afterward.