Proof Theory of Modal Logic
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
181.89 €
Produktdetails
Produktinformationen zu „Proof Theory of Modal Logic “
Klappentext zu „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 for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Inhaltsverzeichnis zu „Proof Theory of Modal Logic “
Preface. Part I: Standard Proof Systems. 1. A Contraction-free Sequent Calculus for S4; J. Hudelmaier. 2. Transfer of Sequent Calculus Strategies to Resolution for S4; G. Mints, et al. 3. A Linear Approach to Modal Proof Theory; H. Schellinx. 4. Refutations and Proofs in S4; T. Skura. Part II: Extended Formalisms. 5. Relational Proof Systems for Modal Logics; E. Orlowska. 6. The Display Problem; N. Belnap. 7. Power and Weakness of the Modal Display Calculus; M. Kracht. 8. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics; H. Wansing. 9. On the Completeness of Classical Modal Display Logic; R. Goré. 10. Modal Sequents; C. Cerrato. 11. Modal Functional Completeness; K. Dosen, Z. Petric. 12. A Computational Interpretation of Modal Proofs; S. Martini, A. Masini. 13. Gabbay-Style Calculi; S. Mikulás. Part III: Translation-Based Proof Systems. 14. Translating Graded Modalities into Predicate Logic; H.J. Ohlbach, et al. 15. From Classical to Normal Modal Logics; O. Gasquet, A. Herzig.
Bibliographische Angaben
- 1996, 336 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: Heinrich Wansing
- Verlag: Springer Netherlands
- ISBN-10: 0792341201
- ISBN-13: 9780792341208
- Erscheinungsdatum: 31.10.1996
Sprache:
Englisch
Kommentar zu "Proof Theory of Modal Logic"
0 Gebrauchte Artikel zu „Proof Theory of Modal Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Proof Theory of Modal Logic".
Kommentar verfassen