skip to content
The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse Preview this item
ClosePreview this item
Checking...

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

Author: Johan Benthem
Publisher: Dordrecht : Springer Netherlands, 1991.
Series: Synthese library, 156.
Edition/Format:   eBook : Document : English : Second editionView all editions and formats
Summary:
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a  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: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Johan Benthem
ISBN: 9789401579476 9401579474
OCLC Number: 851391719
Description: 1 online resource (xxii, 290 pages).
Contents: I / Temporal Ontology --
I.1. / Primitive Notions --
I.2. / Points --
I.3. / Periods --
I.4. / Points and Periods --
I.5. / Events --
II / Temporal Discourse --
II. 1. / Choice of Languages --
II. 2. / Instant Tense Logic --
II. 3. / Extended Tense Logic --
II. 4. / Point Talk and Period Talk --
Appendix A / On Space --
Notes --
List of Important Principles --
Index of Names --
Index of Subjects --
Appendix 'Sept Ans Après' --
Additional References.
Series Title: Synthese library, 156.
Responsibility: by Johan Benthem.

Abstract:

In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From reviews of the first edition: `Overall this is an admirable work. I believe it will change and enrich the field.' Steven Kuhn, Journal of Symbolic Logic, 52 (3) (1987) `...the book...will 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/851391719> # The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "851391719" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4924157763#Place/dordrecht> ; # Dordrecht
    schema:about <http://dewey.info/class/160/e23/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/871998> ; # Computational linguistics
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.loc.gov/authorities/classification/BC1-199> ;
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4924157763#Topic/philosophy_general> ; # Philosophy (General)
    schema:bookEdition "Second edition." ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/94809147> ; # Johan Benthem
    schema:datePublished "1991" ;
    schema:description "The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility."@en ;
    schema:description "I / Temporal Ontology -- I.1. / Primitive Notions -- I.2. / Points -- I.3. / Periods -- I.4. / Points and Periods -- I.5. / Events -- II / Temporal Discourse -- II. 1. / Choice of Languages -- II. 2. / Instant Tense Logic -- II. 3. / Extended Tense Logic -- II. 4. / Point Talk and Period Talk -- Appendix A / On Space -- Notes -- List of Important Principles -- Index of Names -- Index of Subjects -- Appendix 'Sept Ans Après' -- Additional References."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4924157763> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4924157763#Series/synthese_library> ; # Synthese library ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4924157763#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> ; # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4924157763#CreativeWork/> ;
    schema:name "The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse"@en ;
    schema:productID "851391719" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851391719#PublicationEvent/dordrecht_springer_netherlands_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4924157763#Agent/springer_netherlands> ; # Springer Netherlands
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-94-015-7947-6> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3106158> ;
    schema:url <http://dx.doi.org/10.1007/978-94-015-7947-6> ;
    schema:workExample <http://worldcat.org/isbn/9789401579476> ;
    schema:workExample <http://dx.doi.org/10.1007/978-94-015-7947-6> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851391719> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4924157763#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
    schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924157763#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851391719> ; # The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
    schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924157763#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851391719> ; # The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
    schema:name "Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924157763#Topic/philosophy_general> # Philosophy (General)
    a schema:Intangible ;
    schema:name "Philosophy (General)"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

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

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/871998> # Computational linguistics
    a schema:Intangible ;
    schema:name "Computational linguistics"@en ;
    .

<http://viaf.org/viaf/94809147> # Johan Benthem
    a schema:Person ;
    schema:familyName "Benthem" ;
    schema:givenName "Johan" ;
    schema:name "Johan Benthem" ;
    .

<http://worldcat.org/entity/work/data/4924157763#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851391719> ; # The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
    .

<http://worldcat.org/isbn/9789401579476>
    a schema:ProductModel ;
    schema:isbn "9401579474" ;
    schema:isbn "9789401579476" ;
    .

<http://www.worldcat.org/title/-/oclc/851391719>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/851391719> ; # The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
    schema:dateModified "2018-10-11" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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