Buch

---

Übersicht

---

Verlag	:	Springer Netherland
Buchreihe	:	Applied Logic Series (Bd. 2)
Sprache	:	Englisch
Erschienen	:	31. 10. 1996
Seiten	:	318
Einband	:	Gebunden
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	1430 g
ISBN	:	9780792341208
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

I Standard Proof Systems.- A Contraction-free Sequent Calculus for S4.- Transfer of Sequent Calculus Strategies to Resolution for S4.- A Linear Approach to Modal Proof Theory.- Refutations and Proofs in S4.- II Extended Formalisms.- Relational Proof Systems for Modal Logics.- The Display Problem.- Power and Weakness of the Modal Display Calculus.- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics.- On the Completeness of Classical Modal Display Logic.- Modal Sequents.- Modal Functional Completeness.- A Computational Interpretation of Modal Proofs.- Gabbay-style Calculi.- III Translation-based Proof Systems.- Translating Graded Modalities into Predicate Logics.- From Classical to Normal Modal Logics.

Deine Buchhandlung

---