skip to content
A new introduction to modal logic Preview this item
ClosePreview this item
Checking...

A new introduction to modal logic

Author: George Edward Hughes; Maxwell John Cresswell
Publisher: London ; New York : Routledge, 1996.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and  Read more...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: George Edward Hughes; Maxwell John Cresswell
ISBN: 0415126002 9780415126007
OCLC Number: 468742117
Notes: Exercices à la fin de chaque chap. Bibliogr. p. 384-397. Index.
Description: X-421 p. : couv. ill. ; 22 cm
Responsibility: G.E. Hughes ... M.J. Cresswell ...
More information:

Reviews

Editorial reviews

Publisher Synopsis

"There has long been a need for a new version, and this is a superb new version. The new Hughes and Cresswell would clearly be the text of choice for introductory courses in modal logic. I expect Read more...

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

Tags

Be the first.
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/468742117> # A new introduction to modal logic
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "468742117" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://dewey.info/class/160/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/logique_modale> ; # logique modale
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/calcul_propositionnel> ; # calcul propositionnel
    schema:about <http://id.loc.gov/authorities/classification/BC199> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/modalite_logique> ; # Modalité (logique)
    schema:about <http://experiment.worldcat.org/entity/work/data/3768369458#Topic/logique_mathematique_non_classique> ; # Logique mathématique non classique
    schema:author <http://viaf.org/viaf/68948507> ; # Maxwell John Cresswell
    schema:author <http://viaf.org/viaf/51762536> ; # George Edward Hughes
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "1996" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3768369458> ;
    schema:inLanguage "en" ;
    schema:name "A new introduction to modal logic" ;
    schema:productID "468742117" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/468742117#PublicationEvent/london_new_york_routledge_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3768369458#Agent/routledge> ; # Routledge
    schema:workExample <http://worldcat.org/isbn/9780415126007> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/468742117> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768369458#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768369458#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
    schema:name "calcul propositionnel" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768369458#Topic/logique_mathematique_non_classique> # Logique mathématique non classique
    a schema:Intangible ;
    schema:name "Logique mathématique non classique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768369458#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768369458#Topic/modalite_logique> # Modalité (logique)
    a schema:Intangible ;
    schema:name "Modalité (logique)" ;
    schema:name "Modalité (Logique)"@fr ;
    .

<http://viaf.org/viaf/51762536> # George Edward Hughes
    a schema:Person ;
    schema:familyName "Hughes" ;
    schema:givenName "George Edward" ;
    schema:name "George Edward Hughes" ;
    .

<http://viaf.org/viaf/68948507> # Maxwell John Cresswell
    a schema:Person ;
    schema:familyName "Cresswell" ;
    schema:givenName "Maxwell John" ;
    schema:name "Maxwell John Cresswell" ;
    .

<http://worldcat.org/isbn/9780415126007>
    a schema:ProductModel ;
    schema:isbn "0415126002" ;
    schema:isbn "9780415126007" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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