Login

Indrzejczak, Andrzej

Natural Deduction, Hybrid Systems and Modal Logics

Indrzejczak, Andrzej - Natural Deduction, Hybrid Systems and Modal Logics, ebook

210,80€

Ebook, PDF with Adobe DRM
ISBN: 9789048187850
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Series
Trends in Logic
Page amount
23 pages
Category
Philosophy
Format
Ebook
eISBN (PDF)
9789048187850

Similar titles