Natural Deduction, Hybrid Systems and Modal Logics

• Main Author: Indrzejczak, Andrzej. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Dordrecht : Springer Netherlands, 2010.
• Series: Trends in Logic ; 30
• Subjects: Philosophy (General).; Logic.; Computer science.; Artificial intelligence.; Algorithms.; Logic, Symbolic and mathematical.; Philosophy.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-90-481-8785-0

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...

Table of Contents:

• 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.