Cover Image
Read Now

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

Full description

Bibliographic Details
Main Author: Indrzejczak, Andrzej
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2010, 2010
Edition:1st ed. 2010
Series:Trends in Logic, Studia Logica Library
Subjects:
Computer Science
Mathematical Logic
Logic
Artificial Intelligence
Algorithms
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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.

Similar Items