@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "tense.ps"^^xsd:string .
rdfs:label "tense.pdf"^^xsd:string .
rdfs:label "preview.png"^^xsd:string .
rdfs:label "preview.png"^^xsd:string .
rdfs:label "indexcodes.txt"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #4714 \n\n Tense and the Logic of Change\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label " Tense and the Logic of Change (Postscript)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:hasIndexCodesVersion ;
eprel:hasVersion ,
;
eprel:hasVolatileVersion ,
;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label " Tense and the Logic of Change (PDF)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label " Tense and the Logic of Change (Image (PNG))"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label " Tense and the Logic of Change (Image (PNG))"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isIndexCodesVersionOf ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
rdf:type ep:Document;
rdfs:label " Tense and the Logic of Change (Indexer Terms)"^^xsd:string .
rdf:_1 .
rdf:_1 ;
rdf:_2 ;
rdf:_3 ;
rdf:_4 ;
rdf:_5 .
,
,
,
,
;
bibo:abstract "In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic."^^xsd:string;
bibo:authorList ;
bibo:editorList ;
bibo:status ,
;
dct:creator ;
dct:date "1995";
dct:isPartOf ,
;
dct:publisher ;
dct:subject ,
,
;
dct:title " Tense and the Logic of Change"^^xsd:string;
ep:hasDocument ,
,
,
,
;
rdf:type bibo:Article,
ep:BookchapterEPrint,
ep:EPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Semantics" .
rdf:type skos:Concept;
skos:prefLabel "Philosophy of Language" .
rdf:type skos:Concept;
skos:prefLabel "Logic" .
foaf:name "John Benjamins"^^xsd:string;
rdf:type foaf:Organization .
foaf:familyName "Egli"^^xsd:string;
foaf:givenName "Urs"^^xsd:string;
foaf:name "Urs Egli"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Schwarze"^^xsd:string;
foaf:givenName "Christoph"^^xsd:string;
foaf:name "Christoph Schwarze"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Pause"^^xsd:string;
foaf:givenName "Peter"^^xsd:string;
foaf:name "Peter Pause"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Wienold"^^xsd:string;
foaf:givenName "Goetz"^^xsd:string;
foaf:name "Goetz Wienold"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "von Stechow"^^xsd:string;
foaf:givenName "Arnim"^^xsd:string;
foaf:name "Arnim von Stechow"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Muskens"^^xsd:string;
foaf:givenName "Reinhard"^^xsd:string;
foaf:name "Reinhard Muskens"^^xsd:string;
rdf:type foaf:Person .
foaf:name " Lexical Knowledge in the Organization of Language"^^xsd:string;
rdf:type bibo:Collection .