Powered by Lingsoft® Search Expander  | |
RSSNatural Deduction, Hybrid Systems and Modal Logics | ||||||||||||||||||||||||
 |
| |||||||||||||||||||||||
| ||||||||||||||||||||||||
 | | | ||||||||||||||||||||||
| Table of contents 1. Preliminaries Andrzej Indrzejczak 2. Standard Natural Deduction Andrzej Indrzejczak 3. Other Deductive Systems Andrzej Indrzejczak 4. Extended Natural Deduction Andrzej Indrzejczak 5. Survey of Modal Logics Andrzej Indrzejczak 6. Standard Approach to Basic Modal Logics Andrzej Indrzejczak 7. Beyond Basic Logics and Standard Systems Andrzej Indrzejczak 8. Labelled Systems in Modal Logics Andrzej Indrzejczak 9. Logics of Linear Frames Andrzej Indrzejczak 10. Analytic Labelled ND and Proof Search Andrzej Indrzejczak 11. Modal Hybrid Logics Andrzej Indrzejczak 12. Proof Methods for MHL Andrzej Indrzejczak | ||||||||||||||||||||||||
| We do not deliver the extra material sometimes included in printed books (CDs or DVDs). | ||||||||||||||||||||||||
|
|
