skip to content
Mathematical problems from applied logic I : logics for the XXIst century Preview this item
ClosePreview this item
Checking...

Mathematical problems from applied logic I : logics for the XXIst century

Author: Dov M Gabbay; S S Goncharov; Michael Zakharyaschev
Publisher: New York : Springer, ©2006.
Series: International mathematical series, 4.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general."--Jacket.
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Dov M Gabbay; S S Goncharov; Michael Zakharyaschev
ISBN: 0387286888 9780387286884
OCLC Number: 70199787
Description: xxviii, 348 pages : illustrations ; 24 cm.
Contents: Nonstandard inferences in description logic : the story so far / Franz Baader and Ralf Kusters --
Problems in the logic of provability / Lev Beklemishev and Albert Visser --
Open problems in logical dynamics / Johan van Benthem --
Computability and emergence / S. Barry Cooper --
Samsara / John N. Crossley --
Two doors to open / Wilfrid Hodges --
Applied logic : a manifesto / Lawrence S. Moss.
Series Title: International mathematical series, 4.
Other Titles: Logics for the XXIst century
Responsibility: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
More information:

Abstract:

This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability,  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"It may be one of the best books I ever read ... . The book is best described as a drawerful of ambitious, thought-provoking research questions. Some will inspire you to go search Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

User lists with this item (1)

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/70199787> # Mathematical problems from applied logic I : logics for the XXIst century
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "70199787" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:alternateName "Logics for the XXIst century" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/76325399> ; # Dov M. Gabbay
   schema:contributor <http://viaf.org/viaf/2610225> ; # Michael Zakharyaschev
   schema:contributor <http://viaf.org/viaf/3996520> ; # S. S. Goncharov
   schema:copyrightYear "2006" ;
   schema:datePublished "2006/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891455065> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891455065#Series/international_mathematical_series> ; # International mathematical series ;
   schema:name "Mathematical problems from applied logic I : logics for the XXIst century"@en ;
   schema:productID "70199787" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/70199787#PublicationEvent/new_york_springer_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891455065#Agent/springer> ; # Springer
   schema:reviews <http://www.worldcat.org/title/-/oclc/70199787#Review/245595728> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0824/2005931830-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780387286884> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/70199787> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/891455065#Series/international_mathematical_series> # International mathematical series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/70199787> ; # Mathematical problems from applied logic I : logics for the XXIst century
   schema:name "International mathematical series ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/2610225> # Michael Zakharyaschev
    a schema:Person ;
   schema:familyName "Zakharyaschev" ;
   schema:givenName "Michael" ;
   schema:name "Michael Zakharyaschev" ;
    .

<http://viaf.org/viaf/3996520> # S. S. Goncharov
    a schema:Person ;
   schema:familyName "Goncharov" ;
   schema:givenName "S. S." ;
   schema:name "S. S. Goncharov" ;
    .

<http://viaf.org/viaf/76325399> # Dov M. Gabbay
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://worldcat.org/isbn/9780387286884>
    a schema:ProductModel ;
   schema:isbn "0387286888" ;
   schema:isbn "9780387286884" ;
    .

<http://www.worldcat.org/title/-/oclc/70199787#Review/245595728>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/70199787> ; # Mathematical problems from applied logic I : logics for the XXIst century
   schema:reviewBody ""The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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