Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size - Image 1

£61.26

Springer Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Name: Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Brand: Springer
Price: 61.26 GBP
Availability: InStock

AI & Machine Learning

This is the usual price. Wait for it to drop, or tell us your number.

£61 today · usual range £0–£0 · best ever £47

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 628 days • 628 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 628 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £61 (388 days, 61.8%)

Price range: £47 - £75

Price levels: 6 different prices over 628 days

Description

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated 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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319896520
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 14 November 2018
Listed Since: 08 March 2018

Barcode

No barcode data available

Springer Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

Logic for Computer Science and Artificial Intelligence

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Logic for Applications (Texts in Computer Science)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Oxford University Press - Fragments of First-Order Logic

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Simple Formal Logic: With Common-Sense Symbolic Techniques

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)