Error title
Some error text about your books and stuff.
Close

Displaying Modal Logic

by Heinrich Wansing

  • ISBN: 9780792352051
  • ISBN10: 079235205X

Displaying Modal Logic

by Heinrich Wansing

  • List Price: $209.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 09/01/1998
  • ISBN: 9780792352051
  • ISBN10: 079235205X
used Add to Cart $110.25
You save: 47%
Marketplace Item
new Add to Cart $141.67
You save: 32%
FREE economy shipping!
Description: Preface. 1. Introduction. 2. Sequents Generalized. 3. Display Logic. 4. Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination. 5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics. 6. Modal Tableaux Based on Residuation. 7. Strong Cut-Elimination and Labelled Modal Tableaux. 8. Tarskian Structured Consequence Relations and Functional Completeness. 9. Constructive Negation and the Modal Logic of Consistency. 10. Displaying as Temporalizing. 11. Translation of Hypersequents into Display Sequents. 12. Predicate Logics on Display. 13. Appendix. Bibliography. Index.
Expand description
Seller Condition Comments Price  
Seller: Book Alley
Location: Pasadena, CA
Condition: Very Good
Price:
$110.25
Comments:
Seller: Paisleyhaze Books
Location: New Hartford, CT
Condition: Like New
Shipping Icon
079235205X NEW; Kluwer Academic hardcover, 1998, unused and carefully stored,
[...]
Price:
$112.50
Comments:
079235205X NEW; Kluwer Academic hardcover, 1998, unused and carefully stored,
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$141.24
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).