Proof theory of modal logic /

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Wansing, H. (Heinrich)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer, 1996.
Series:	Applied logic series ; 2.
Subjects:	Modality (Logic) > Congresses. Proof theory > Congresses. Logic, Symbolic and mathematical. Philosophy. Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations. Modality (Logic) Proof theory. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book