Formal Methods for Nonmonotonic and Related Logics

Formal Methods for Nonmonotonic and Related Logics (English, Hardcover, Schlechta Karl)

Share

Formal Methods for Nonmonotonic and Related Logics  (English, Hardcover, Schlechta Karl)

Be the first to Review this product
₹6,746
7,420
9% off
Available offers
  • EMI starting from ₹318/month
  • Delivery
    Check
    Enter pincode
      Usually delivered in10-11 days
      ?
      Enter pincode for exact delivery dates/charges
    View Details
    Author
    Read More
    Highlights
    • Language: English
    • Binding: Hardcover
    • Publisher: Springer International Publishing AG
    • Genre: Mathematics
    • ISBN: 9783319896496, 9783319896496
    • Pages: 473
    Services
    • 10 Days Replacement Policy
      ?
    • Cash on Delivery available
      ?
    Seller
    USA Import Books
    2.7
    • 10 Days Replacement Policy
      ?
    Description
    The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
    Read More
    Specifications
    Book Details
    Imprint
    • Springer International Publishing AG
    Dimensions
    Height
    • 235 mm
    Length
    • 155 mm
    Have doubts regarding this product?
    Safe and Secure Payments.Easy returns.100% Authentic products.
    Back to top