Gentzen calculi for modal propositional logic

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we pre...

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả chính:	Poggiolesi, Francesca. 1980- (Tác giả)
Tác giả của công ty:	SpringerLink (Online service)
Định dạng:	Electronic Resource
Ngôn ngữ:	English
Được phát hành:	Dordrecht, Netherlands Springer Dordrecht c2011.
Loạt:	Trends in logic Volume 32.
Những chủ đề:	Modality (Logic)
Truy cập trực tuyến:	Available for UP System via SpringerLink.