Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166612569> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2166612569 endingPage "72" @default.
- W2166612569 startingPage "51" @default.
- W2166612569 abstract "The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobile Am- bient calculus (MA). Restricting both the calculus and the logic to their static part yields static ambients (SA) and the static ambient logic (SAL), that form a model for queries about semistructured data. SAL also includes the non-standard fresh quantifier ( ). This work adresses the questions of expressiveness and minimality of SAL from the point of view of adjuncts. We define the intensional fragment of the logic (SAL int ), the logic without adjuncts, and prove that it captures all the expressiveness of the logic. We moreover study the question of adjuncts elimination in SAL ∀ , where quantifier is replaced by the classical ∀ quantifier. We conclude with a proof of the minimality of SAL int" @default.
- W2166612569 created "2016-06-24" @default.
- W2166612569 creator A5011145361 @default.
- W2166612569 date "2004-06-01" @default.
- W2166612569 modified "2023-10-06" @default.
- W2166612569 title "Adjuncts elimination in the static ambient logic" @default.
- W2166612569 cites W1982213843 @default.
- W2166612569 doi "https://doi.org/10.1016/j.entcs.2004.04.021" @default.
- W2166612569 hasPublicationYear "2004" @default.
- W2166612569 type Work @default.
- W2166612569 sameAs 2166612569 @default.
- W2166612569 citedByCount "11" @default.
- W2166612569 countsByYear W21666125692020 @default.
- W2166612569 countsByYear W21666125692021 @default.
- W2166612569 countsByYear W21666125692022 @default.
- W2166612569 countsByYear W21666125692023 @default.
- W2166612569 crossrefType "journal-article" @default.
- W2166612569 hasAuthorship W2166612569A5011145361 @default.
- W2166612569 hasBestOaLocation W21666125691 @default.
- W2166612569 hasConcept C11413529 @default.
- W2166612569 hasConcept C118615104 @default.
- W2166612569 hasConcept C154945302 @default.
- W2166612569 hasConcept C199343813 @default.
- W2166612569 hasConcept C199360897 @default.
- W2166612569 hasConcept C2776235265 @default.
- W2166612569 hasConcept C2777686260 @default.
- W2166612569 hasConcept C2778523021 @default.
- W2166612569 hasConcept C32278780 @default.
- W2166612569 hasConcept C33923547 @default.
- W2166612569 hasConcept C41008148 @default.
- W2166612569 hasConcept C71924100 @default.
- W2166612569 hasConceptScore W2166612569C11413529 @default.
- W2166612569 hasConceptScore W2166612569C118615104 @default.
- W2166612569 hasConceptScore W2166612569C154945302 @default.
- W2166612569 hasConceptScore W2166612569C199343813 @default.
- W2166612569 hasConceptScore W2166612569C199360897 @default.
- W2166612569 hasConceptScore W2166612569C2776235265 @default.
- W2166612569 hasConceptScore W2166612569C2777686260 @default.
- W2166612569 hasConceptScore W2166612569C2778523021 @default.
- W2166612569 hasConceptScore W2166612569C32278780 @default.
- W2166612569 hasConceptScore W2166612569C33923547 @default.
- W2166612569 hasConceptScore W2166612569C41008148 @default.
- W2166612569 hasConceptScore W2166612569C71924100 @default.
- W2166612569 hasLocation W21666125691 @default.
- W2166612569 hasOpenAccess W2166612569 @default.
- W2166612569 hasPrimaryLocation W21666125691 @default.
- W2166612569 hasRelatedWork W1483892218 @default.
- W2166612569 hasRelatedWork W1535925611 @default.
- W2166612569 hasRelatedWork W1995150618 @default.
- W2166612569 hasRelatedWork W2040139795 @default.
- W2166612569 hasRelatedWork W2097821910 @default.
- W2166612569 hasRelatedWork W2289770768 @default.
- W2166612569 hasRelatedWork W3093966545 @default.
- W2166612569 hasRelatedWork W3102787008 @default.
- W2166612569 hasRelatedWork W3135280923 @default.
- W2166612569 hasRelatedWork W4247229504 @default.
- W2166612569 hasVolume "96" @default.
- W2166612569 isParatext "false" @default.
- W2166612569 isRetracted "false" @default.
- W2166612569 magId "2166612569" @default.
- W2166612569 workType "article" @default.