Indrzejczak, Andrzej
Natural 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
Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Algorithms, Artificial Intelligence (incl. Robotics)
- Author(s)
- Indrzejczak, Andrzej
- Publisher
- Springer
- Publication year
- 2010
- Language
- en
- Edition
- 1
- Series
- Trends in Logic
- Page amount
- 23 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9789048187850
