The Resource Kripke's Worlds : An Introduction to Modal Logics via Tableaux, by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, (electronic resource)

# Kripke's Worlds : An Introduction to Modal Logics via Tableaux, by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, (electronic resource) Resource Information The item Kripke's Worlds : An Introduction to Modal Logics via Tableaux, by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.This item is available to borrow from 1 library branch.

Label
Kripke's Worlds : An Introduction to Modal Logics via Tableaux
Title
Kripke's Worlds
Title remainder
An Introduction to Modal Logics via Tableaux
Statement of responsibility
by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Creator
Contributor
Author
Subject
Language
eng
Summary
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds 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 a 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. >dy>
Member of
IT-FiEUI
Gasquet, Olivier
Image bit depth
0
Literary form
non fiction
1949-.
• Herzig, Andreas
• Said, Bilal.
• Schwarzentruber, François.
Series statement
• Studies in Universal Logic
• Springer eBooks
• Mathematics
• Logic, Symbolic and mathematical
Label
Kripke's Worlds : An Introduction to Modal Logics via Tableaux, by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
• cr
Carrier MARC source
rdacarrier.
Color
not applicable
Content category
text
Content type code
• txt
Content type MARC source
rdacontent.
Contents
Preface -- 1 Modelling things with graphs -- 2 Talking about graphs -- 3 The basics of the model construction method -- 4 Logics with simple constraints on models -- 5 Logics with transitive accessibility relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index
Control code
978-3-7643-8504-0
Dimensions
unknown
Extent
XV, 198 pages 73 illustrations
File format
multiple file formats
Form of item
electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783764385040
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia.
Media type code
• c
Other control number
10.1007/978-3-7643-8504-0
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1086492914
Label
Kripke's Worlds : An Introduction to Modal Logics via Tableaux, by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
• cr
Carrier MARC source
rdacarrier.
Color
not applicable
Content category
text
Content type code
• txt
Content type MARC source
rdacontent.
Contents
Preface -- 1 Modelling things with graphs -- 2 Talking about graphs -- 3 The basics of the model construction method -- 4 Logics with simple constraints on models -- 5 Logics with transitive accessibility relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index
Control code
978-3-7643-8504-0
Dimensions
unknown
Extent
XV, 198 pages 73 illustrations
File format
multiple file formats
Form of item
electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783764385040
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia.
Media type code
• c
Other control number
10.1007/978-3-7643-8504-0
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1086492914