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
Database:WorldCat
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://experiment.worldcat.org/entity/work/data/3768369458#Person/cresswell_maxwell_john> ; # 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#Person/cresswell_maxwell_john> # Maxwell John Cresswell
    a schema:Person ;
   schema:familyName "Cresswell" ;
   schema:givenName "Maxwell John" ;
   schema:name "Maxwell John Cresswell" ;
    .

<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://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.