Natural Deduction, Hybrid Systems and Modal Logics

• Κύριος συγγραφέας: Indrzejczak, Andrzej (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2010.
• Σειρά: Trends in Logic ; 30
• Θέματα: Philosophy.; Logic.; Computers.; Mathematical logic.; Artificial intelligence.; Algorithms.; Theory of Computation.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

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

Πίνακας περιεχομένων:

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