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
Genre
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
NLM call number
Online Book
http://library.link/vocab/relatedWorkOrContributorName
Gasquet, Olivier
Series statement
Studies in Universal Logic
http://library.link/vocab/subjectName
  • Modality (Logic)
  • Mathematics
  • Modality (Logic)
Label
Kripke's Worlds : an introduction to modal logics via Tableaux, Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-7643-8504-0
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
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
Dimensions
unknown
Extent
1 online resource (xv, 198 pages)
File format
unknown
Form of item
online
Isbn
9783764385040
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-7643-8504-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)868027619
  • (OCoLC)ocn868027619
Label
Kripke's Worlds : an introduction to modal logics via Tableaux, Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-7643-8504-0
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
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
Dimensions
unknown
Extent
1 online resource (xv, 198 pages)
File format
unknown
Form of item
online
Isbn
9783764385040
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-7643-8504-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)868027619
  • (OCoLC)ocn868027619

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...