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

Mathematical Logic

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 36 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (21 days, 58.3%)

Price range: £63 - £65

Price levels: 3 different prices over 36 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Possible Worlds

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

Eliminating The Universe: Logical Properties Of Natural Language

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

Logic for Applications (Texts in Computer Science)

Modal Logic: An Introduction to its Syntax and Semantics

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Springer - Modalities and Multimodalities (Logic, Vol. 12)

Modalities and Multimodalities: 12 (Logic, Epistemology, and the Unity of Science, 12)

Modality (Central Problems of Philosophy)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Handbook of Philosophical Logic: Volume 8

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Introduction to Mathematical Logic: Extended Edition

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Kripke: Puzzles and Mysteries: 30 (Key Contemporary Thinkers)

Dynamic Tractable Reasoning: A Modular Approach to Belief Revision: 420 (Synthese Library, 420)

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

A Tale Of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures And Graph Theory

Handbook of Tableau Methods