Vor Ort
Merkzettel Warenkorb
Produktbild: Proof Theory of Modal Logic
Band 2 - 12%

Proof Theory of Modal Logic

Aus der Reihe Applied Logic Series
12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.10.1996

Herausgeber

Heinrich Wansing

Verlag

Springer Netherland

Seitenzahl

318

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

662 g

Auflage

1996

Sprache

Englisch

ISBN

978-0-7923-4120-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.10.1996

Herausgeber

Heinrich Wansing

Verlag

Springer Netherland

Seitenzahl

318

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

662 g

Auflage

1996

Sprache

Englisch

ISBN

978-0-7923-4120-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: 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.