The Resource Kripke's Worlds : an introduction to modal logics via Tableaux, Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

Kripke's Worlds : an introduction to modal logics via Tableaux, Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

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
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
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
Member of
Cataloging source
GW5XE
Dewey number
511.3/14
Illustrations
illustrations
Index
index present
LC call number
QA9.46
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Studies in Universal Logic
Label
Kripke's Worlds : an introduction to modal logics via Tableaux, Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Modelling things with graphs -- Talking about graphs -- The basics of the model construction method -- Logics with simple constraints on models -- Logics with transitive accessibility relations -- Model Checking -- Modal logics with transitive closure
Control code
ocn868027619
Dimensions
unknown
Extent
1 online resource (xv, 198 pages)
File format
unknown
Form of item
online
Isbn
9783764385033
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-7643-8504-0
Other physical details
illustrations
Quality assurance targets
unknown
http://library.link/vocab/recordID
.b31773229
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)868027619
  • springer3764385049

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...