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

£61.83

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.83 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£62 today · previous high £62 · all-time low £61

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 70 days · 70 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 70 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £62 (67 days, 95.7%)

Price range: £61 - £62

Price levels: 2 different prices over 70 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 most expensive it has ever been. Walk away.

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)

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

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)

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)

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)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Logic for Computer Scientists (Modern Birkhäuser Classics)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic of Computation: SER F / v.157 (NATO ASI)