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
Call Number:Libro Electrónico
Main Author: Indrzejczak, Andrzej (Author)
Corporate Author: SpringerLink (Online service)
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:
Logic.
Computer science.
Artificial intelligence.
Mathematical logic.
Machine theory.
Algorithms.
Theory of Computation.
Artificial Intelligence.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
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.

Similar Items