ENGLISH

Proof Theory of Modal Logic

By Heinrich Wansing (eds.)

Book information

Publisher
Springer Netherlands
Year
1996
ISBN
978-90-481-4720-5, 978-94-017-2798-3
DOI
10.1007/978-94-017-2798-3
Language
english
Format
PDF
Filesize
11 MB (11757184 bytes)
Series
Applied Logic Series 2
Pages
318\317
Topic
Mathematics Logic
Orientation
landscape
Paginated
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Logic; Artificial Intelligence (incl. Robotics); M

Description

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.

Similar books