Matches in SemOpenAlex for { <https://semopenalex.org/work/W2255518761> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2255518761 abstract "Signatures have been introduced to represent situations in formal semantics based on modern type theories. In this paper, we study the notion of signature in more details, presenting it formally and discussing its use in representations of situations. In particular, the new forms of signature entries, the subtyping entries and the manifest entries, are formally presented and studied. Besides being signature entries, these two forms of entries may be introduced to form contextual entries as well and this may have interesting implications in applications of the notion of context to, for example, belief contexts." @default.
- W2255518761 created "2016-06-24" @default.
- W2255518761 creator A5020791896 @default.
- W2255518761 creator A5045830368 @default.
- W2255518761 date "2015-01-01" @default.
- W2255518761 modified "2023-09-28" @default.
- W2255518761 title "Using Signatures in Type Theory to Represent Situations" @default.
- W2255518761 cites W129061733 @default.
- W2255518761 cites W1555972076 @default.
- W2255518761 cites W1713129598 @default.
- W2255518761 cites W1838321713 @default.
- W2255518761 cites W1974190112 @default.
- W2255518761 cites W2025509048 @default.
- W2255518761 cites W2075322664 @default.
- W2255518761 cites W2083477594 @default.
- W2255518761 cites W2123013114 @default.
- W2255518761 cites W2158657245 @default.
- W2255518761 cites W2202680718 @default.
- W2255518761 cites W2912034773 @default.
- W2255518761 cites W4243054153 @default.
- W2255518761 cites W4243436902 @default.
- W2255518761 cites W49905558 @default.
- W2255518761 cites W88496791 @default.
- W2255518761 doi "https://doi.org/10.1007/978-3-662-48119-6_13" @default.
- W2255518761 hasPublicationYear "2015" @default.
- W2255518761 type Work @default.
- W2255518761 sameAs 2255518761 @default.
- W2255518761 citedByCount "0" @default.
- W2255518761 crossrefType "book-chapter" @default.
- W2255518761 hasAuthorship W2255518761A5020791896 @default.
- W2255518761 hasAuthorship W2255518761A5045830368 @default.
- W2255518761 hasConcept C151730666 @default.
- W2255518761 hasConcept C154945302 @default.
- W2255518761 hasConcept C184337299 @default.
- W2255518761 hasConcept C18903297 @default.
- W2255518761 hasConcept C199360897 @default.
- W2255518761 hasConcept C204321447 @default.
- W2255518761 hasConcept C2524010 @default.
- W2255518761 hasConcept C2777299769 @default.
- W2255518761 hasConcept C2779343474 @default.
- W2255518761 hasConcept C2779696439 @default.
- W2255518761 hasConcept C33923547 @default.
- W2255518761 hasConcept C41008148 @default.
- W2255518761 hasConcept C80444323 @default.
- W2255518761 hasConcept C83852419 @default.
- W2255518761 hasConcept C86803240 @default.
- W2255518761 hasConcept C93682546 @default.
- W2255518761 hasConceptScore W2255518761C151730666 @default.
- W2255518761 hasConceptScore W2255518761C154945302 @default.
- W2255518761 hasConceptScore W2255518761C184337299 @default.
- W2255518761 hasConceptScore W2255518761C18903297 @default.
- W2255518761 hasConceptScore W2255518761C199360897 @default.
- W2255518761 hasConceptScore W2255518761C204321447 @default.
- W2255518761 hasConceptScore W2255518761C2524010 @default.
- W2255518761 hasConceptScore W2255518761C2777299769 @default.
- W2255518761 hasConceptScore W2255518761C2779343474 @default.
- W2255518761 hasConceptScore W2255518761C2779696439 @default.
- W2255518761 hasConceptScore W2255518761C33923547 @default.
- W2255518761 hasConceptScore W2255518761C41008148 @default.
- W2255518761 hasConceptScore W2255518761C80444323 @default.
- W2255518761 hasConceptScore W2255518761C83852419 @default.
- W2255518761 hasConceptScore W2255518761C86803240 @default.
- W2255518761 hasConceptScore W2255518761C93682546 @default.
- W2255518761 hasLocation W22555187611 @default.
- W2255518761 hasOpenAccess W2255518761 @default.
- W2255518761 hasPrimaryLocation W22555187611 @default.
- W2255518761 hasRelatedWork W108692650 @default.
- W2255518761 hasRelatedWork W115798472 @default.
- W2255518761 hasRelatedWork W1521693177 @default.
- W2255518761 hasRelatedWork W1540189695 @default.
- W2255518761 hasRelatedWork W1544419947 @default.
- W2255518761 hasRelatedWork W1560560785 @default.
- W2255518761 hasRelatedWork W1651030661 @default.
- W2255518761 hasRelatedWork W2019488173 @default.
- W2255518761 hasRelatedWork W2133021108 @default.
- W2255518761 hasRelatedWork W2409948445 @default.
- W2255518761 hasRelatedWork W2498362638 @default.
- W2255518761 hasRelatedWork W2554484575 @default.
- W2255518761 hasRelatedWork W2587849731 @default.
- W2255518761 hasRelatedWork W2742926284 @default.
- W2255518761 hasRelatedWork W2767296190 @default.
- W2255518761 hasRelatedWork W2996541537 @default.
- W2255518761 hasRelatedWork W3031976613 @default.
- W2255518761 hasRelatedWork W3089079505 @default.
- W2255518761 hasRelatedWork W48995389 @default.
- W2255518761 hasRelatedWork W74681405 @default.
- W2255518761 isParatext "false" @default.
- W2255518761 isRetracted "false" @default.
- W2255518761 magId "2255518761" @default.
- W2255518761 workType "book-chapter" @default.