Displaying Modal Logic /

This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops Display Logic, an important refinement of Gentzen&#...

Full description

Bibliographic Details

Main Author:	Wansing, H. (Heinrich)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1998.
Series:	Trends in Logic, Studia Logica Library ; 3.
Subjects:	Philosophy (General) Logic. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book