Cover Image

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
Description
Summary: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 for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Item Description:Electronic resource.
Physical Description:1 online resource (x, 317 pages)
Bibliography:Includes bibliographical references and index.
ISBN:9789401727983 (electronic bk.)
9401727988 (electronic bk.)
ISSN:1386-2790 ;