Natural Deduction, Hybrid Systems and Modal Logics
This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Class...
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
Corporate Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2010.
|
Edition: | 1st ed. 2010. |
Series: | Trends in Logic, Studia Logica Library,
30 |
Subjects: | |
Online Access: | Texto Completo |
Table of Contents:
- Preliminaries
- 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.