Beschreibung
InhaltsangabePreface.- 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 Logics.- 6. Survey of Natural Deduction and related formalizations for Modal Logics.- 7. Nonstandard Formalizations of Modal Logics.- 8. Labelled Natural Deduction.- 9. Case study of Logics with linear accessibility relation.- 10. Hybrid Logics.- Concluding remarks.- Bibliography.- Index.
Autorenportrait
InhaltsangabePreliminaries.- Standard Natural Deduction.- Other Deductive Systems.- Extended Natural Deduction.- Survey of Modal Logics.- Standard Approach to Basic Modal Logics.- Beyond Basic Logics and Standard Systems.- Labelled Systems in Modal Logics.- Logics of Linear Frames.- Analytic Labelled ND and Proof Search.- Modal Hybrid Logics.- Proof Methods for MHL.
Inhalt
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 Logics.- 6. Survey of Natural Deduction and related formalizations for Modal Logics.- 7. Nonstandard Formalizations of Modal Logics.- 8. Labelled Natural Deduction.- 9. Case study of Logics with linear accessibility relation.- 10. Hybrid Logics.- Concluding remarks.- Bibliography.- Index.