|
|
Natural Deduction, Hybrid Systems and Modal Logics
Preface.- Introduction.- 1. Technical preliminaries.- 2. Standard Natural Deduction for Classical and Free Logic.- 3. Other Deductive Systems.- 4. Extended Natural Deduction.- 5. Background on Modal L... |
 |
|
|
| Download PDF |
| Natural Deduction, Hybrid Systems and Modal Logics |
|
