Representations of commonsense knowledge / by Davis, Ernest

Table of Contents: “…Logic; 2.1 Logical Systems and Languages; 2.2 Propositional Calculus. 2.3 Predicate Calculus2.4 Standard First-Order Notations and Theories; 2.5 Operators on Sentences; 2.6 Extensional Operators; 2.7 Modal Logic; 2.8 Syntactic Theories; 2.9 Appendix A: Natural Deduction; 2.10 References; 2.11 Exercises; Chapter 3. …”