Proof theory of modal logic /
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various interrelated disciplines such as philosophy, AI, computer science, logic, cognitive science and linguistics...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Kluwer,
1996.
|
| Series: | Applied logic series ;
v. 2 |
| Subjects: |
| LEADER | 02887nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000070430 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | 960515s1996 maua b 10100 eng | ||
| 010 | |a 96009019 | ||
| 019 | 1 | |a 12450960 |5 LACONCORD2021 | |
| 020 | |a 0792341201 | ||
| 035 | |a (OCoLC)39178645 |5 LACONCORD2021 | ||
| 050 | 0 | 0 | |a QA9.46 |b .P76 1996 |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 245 | 0 | 0 | |a Proof theory of modal logic / |c edited by Heinrich Wansing. |
| 260 | |a Boston : |b Kluwer, |c 1996. | ||
| 300 | |a x, 317 p. : |b ill. ; |c 25 cm. | ||
| 440 | 0 | |a Applied logic series ; |v v. 2 | |
| 500 | |a Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a A Contraction-free Sequent Calculus for S4 / Jorg Hudelmaier -- Transfer of Sequent Calculus Strategies to Resolution for S4 / Grigori Mints, Vladimir Orevkov and Tanel Tammet -- A Linear Approach to Modal Proof Theory / Harold Schellinx -- Refutations and Proofs in S4 / Tomasz Skura -- Relational Proof Systems for Modal Logics / Ewa Orlowska -- The Display Problem / Nuel Belnap -- Power and Weakness of the Modal Display Calculus / Marcus Kracht -- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics / Heinrich Wansing -- On the Completeness of Classical Modal Display Logic / Rajeev Gore -- Modal Sequents / Claudio Cerrato -- Modal Functional Completeness / Kosta Dosen and Zoran Petric -- A Computational Interpretation of Modal Proofs / Simone Martini and Andrea Masini -- Gabbay-style Calculi / Szabolcs Mikulas -- Translating Graded Modalities into Predicate Logics / H. J. Ohlbach, R. Schmidt and U. Hustadt. | |
| 505 | 8 | |a From Classical to Normal Modal Logics / Olivier Gasquet and Andreas Herzig. | |
| 520 | |a This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various interrelated disciplines such as philosophy, AI, computer science, logic, cognitive science and linguistics. The book consists of 15 original research papers, divided into three parts. The first part contains papers which give a profound description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic. | ||
| 650 | 0 | |a Modal logic |x Congresses. | |
| 650 | 0 | |a Proof theory |x Congresses. | |
| 700 | 1 | |a Wansing, H. |q (Heinrich) | |
| 852 | 8 | |b CARM |h A2:AK06F0 |i C03942 |p 0199285 |f BK | |
| 999 | f | f | |i e2c5a786-2c77-50fe-ae14-0785c4edbe69 |s 66e950a0-aea6-5443-8d48-3b816ed8dc1b |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C03942 |f A2:AK06F0 |h Other scheme |i book |m 0199285 |