skip to content
Intensional and higher-order modal logic : with applications to Montague semantics Preview this item
ClosePreview this item
Checking...

Intensional and higher-order modal logic : with applications to Montague semantics

Author: Daniel Gallin
Publisher: Amsterdam : North Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Series: North-Holland mathematics studies, 19.
Edition/Format:   Print book : EnglishView all editions and formats
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Daniel Gallin
ISBN: 044411002X 9780444110022 072040360X 9780720403602
OCLC Number: 1694073
Notes: Originally presented as the author's thesis, University of California, Berkeley, 1972.
Description: vii, 148 pages ; 23 cm.
Series Title: North-Holland mathematics studies, 19.
Responsibility: Daniel Gallin.

Reviews

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/1694073> # Intensional and higher-order modal logic : with applications to Montague semantics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "1694073" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/800330131#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/modalite_logique> ; # Modalité (logique)
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/modelltheorie> ; # Modelltheorie
   schema:about <http://dewey.info/class/160/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/intensionale_logik> ; # Intensionale Logik
   schema:about <http://id.loc.gov/authorities/classification/BC199> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Thing/intensional_logic_&_higher_order_modal_logic> ; # Intensional logic & higher order modal logic
   schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/800330131#Topic/modallogik> ; # Modallogik
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/77675250> ; # Daniel Gallin
   schema:datePublished "1975" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/800330131> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/800330131#Series/north_holland_mathematics_studies> ; # North-Holland mathematics studies ;
   schema:name "Intensional and higher-order modal logic : with applications to Montague semantics"@en ;
   schema:productID "1694073" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1694073#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/800330131#Agent/north_holland_pub_co> ; # North Holland Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/800330131#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908354&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9780444110022> ;
   schema:workExample <http://worldcat.org/isbn/9780720403602> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB7605409> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1694073> ;
    .


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/800330131#Agent/american_elsevier_pub_co> # American Elsevier Pub. Co.
    a bgn:Agent ;
   schema:name "American Elsevier Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/800330131#Agent/north_holland_pub_co> # North Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/800330131#Series/north_holland_mathematics_studies> # North-Holland mathematics studies ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1694073> ; # Intensional and higher-order modal logic : with applications to Montague semantics
   schema:name "North-Holland mathematics studies ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/800330131#Thing/intensional_logic_&_higher_order_modal_logic> # Intensional logic & higher order modal logic
    a schema:Thing ;
   schema:name "Intensional logic & higher order modal logic" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/800330131#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

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

<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/1024350> # Modality (Logic)
    a schema:Intangible ;
   schema:name "Modality (Logic)"@en ;
    .

<http://viaf.org/viaf/77675250> # Daniel Gallin
    a schema:Person ;
   schema:familyName "Gallin" ;
   schema:givenName "Daniel" ;
   schema:name "Daniel Gallin" ;
    .

<http://worldcat.org/isbn/9780444110022>
    a schema:ProductModel ;
   schema:isbn "044411002X" ;
   schema:isbn "9780444110022" ;
    .

<http://worldcat.org/isbn/9780720403602>
    a schema:ProductModel ;
   schema:isbn "072040360X" ;
   schema:isbn "9780720403602" ;
    .

<http://www.worldcat.org/title/-/oclc/1694073>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/1694073> ; # Intensional and higher-order modal logic : with applications to Montague semantics
   schema:dateModified "2018-03-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.