Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic) - Image 1

£64.36

Birkhauser Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

Name: Kripke's Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
Brand: Birkhauser
Price: 64.36 GBP
Availability: InStock

Mathematical Logic

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

£64 today · usual range £0–£0 · best ever £30

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 630 days • 630 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 630 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £51-58 (325 days, 51.6%)

Price range: £30 - £65

Price levels: 5 price ranges over 630 days

Description

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web. Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given logic and a formula, they allow one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that to modal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). LoTREC allows to check whether a given formula is true at a given world of a given model and to check whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implemented in LoTREC. If this is not yet the case LoTREC offers the possibility to implement a tableau system in a relatively easy way via a simple, graph-based, interactive language.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 3764385030
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Publication Date: 09 December 2013
Listed Since: 08 September 2010

Barcode

No barcode data available

Birkhauser Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

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

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Handbook of Tableau Methods

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Logic for Applications (Texts in Computer Science)

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science, 10501)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Mathematical Logic: An Introduction (De Gruyter Textbook)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Logic for Computer Science and Artificial Intelligence

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

SAT 2005: Satisfiability Research in the Year 2005

Logical Foundations of Artificial Intelligence