skip to content
Kripke's Worlds : an introduction to modal logics via Tableaux Preview this item
ClosePreview this item
Checking...

Kripke's Worlds : an introduction to modal logics via Tableaux

Author: Olivier Gasquet
Publisher: Basel : Birkhäuser, 2014.
Series: Studies in universal logic.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Olivier Gasquet
ISBN: 9783764385040 3764385049
OCLC Number: 868027619
Description: 1 online resource (xv, 198 pages) : illustrations.
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.
Series Title: Studies in universal logic.
Responsibility: Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.

Abstract:

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  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This is an excellent book to use -- either as a stand-alone text or with another textbook -- for an introductory undergraduate course in logic addressed to majors in the humanities, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/868027619> # Kripke's Worlds : an introduction to modal logics via Tableaux
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "868027619" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1779748887#Topic/mathematics> ; # Mathematics
    schema:about <http://dewey.info/class/511.314/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1779748887#Topic/modality_logic> ; # Modality (Logic)
    schema:author <http://experiment.worldcat.org/entity/work/data/1779748887#Person/gasquet_olivier> ; # Olivier Gasquet
    schema:bookFormat schema:EBook ;
    schema:datePublished "2014" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1779748887> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1779748887#Series/studies_in_universal_logic> ; # Studies in universal logic.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1779748887#CreativeWork/> ;
    schema:name "Kripke's Worlds : an introduction to modal logics via Tableaux"@en ;
    schema:productID "868027619" ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-7643-8503-3> ;
    schema:url <http://dx.doi.org/10.1007/978-3-7643-8504-0> ;
    schema:url <http://link.springer.com/10.1007/978-3-7643-8504-0> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2015-05-26/1/9783764385040> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-7643-8504-0> ;
    schema:workExample <http://worldcat.org/isbn/9783764385040> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/868027619> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1779748887#Person/gasquet_olivier> # Olivier Gasquet
    a schema:Person ;
    schema:familyName "Gasquet" ;
    schema:givenName "Olivier" ;
    schema:name "Olivier Gasquet" ;
    .

<http://experiment.worldcat.org/entity/work/data/1779748887#Series/studies_in_universal_logic> # Studies in universal logic.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/868027619> ; # Kripke's Worlds : an introduction to modal logics via Tableaux
    schema:name "Studies in universal logic." ;
    schema:name "Studies in Universal Logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/1779748887#Topic/modality_logic> # Modality (Logic)
    a schema:Intangible ;
    schema:name "Modality (Logic)"@en ;
    .

<http://worldcat.org/entity/work/data/1779748887#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/868027619> ; # Kripke's Worlds : an introduction to modal logics via Tableaux
    .

<http://worldcat.org/isbn/9783764385040>
    a schema:ProductModel ;
    schema:isbn "3764385049" ;
    schema:isbn "9783764385040" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.