{"product_id":"9780792362371","title":"Applied Logic Series","description":"\u003ch1\u003eApplied Logic Series\u003c\/h1\u003e \u003ch2\u003eBasin, David; D'Agostino, M.; Gabbay, Dov M.; Matthews, Seán; Viganò, Luca\u003c\/h2\u003e \u003cp\u003eLabelled deduction is an approach to providing frameworks for  presenting and using different logics in a uniform and natural way by  enriching the language of a logic with additional information of a  semantic proof-theoretical nature. \u003cbr\u003e  Labelled deduction systems often possess attractive properties, such  as modularity in the way that families of related logics are  presented, parameterised proofs of metatheoretic properties, and ease  of mechanisability. It is thus not surprising that labelled deduction  has been applied to problems in computer science, AI, mathematical  logic, cognitive science, philosophy and computational linguistics  - for example, formalizing and reasoning about dynamic `state  oriented' properties such as knowledge, belief, time, space, and  resources.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2000-04-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792362371\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-94-011-4040-9\u003c\/p\u003e \u003cp\u003eDimensions: 244cm x170cm\u003c\/p\u003e \u003cp\u003ePages: 267\u003c\/p\u003e ","brand":"Springer Netherlands","offers":[{"title":"Default Title","offer_id":45578564796556,"sku":"9780792362371","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792362371.jpg?v=1770784875","url":"https:\/\/lateknightbooks.com\/products\/9780792362371","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}