forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
III
Truth tables
IV
Natural deduction for TFL
V
First-order logic
VI
Interpretations
VII
Natural deduction for FOL
VIII
Modal logic
42
Introducing modal logic
43
Natural deduction for ML
44
Semantics for ML
IX
Metatheory
Appendices
Modal logic
Part VIII
Modal logic
42
Introducing modal logic
43
Natural deduction for ML
44
Semantics for ML