Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047211518> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2047211518 abstract "We introduce the lattice-valued Kripke structures, for the purpose of allowing imprecise or incomplete specifications to be expressed, by extending the traditional notion of Kripke structures in the context of complete residuated lattice. Moreover, we show how the traditional trace inclusion and equivalence, can be lifted to a setting of quantitative where their interpretations are given as elements of complete residuated lattices. We also present logical characterizations of our notions, given by a lattice-valued extension of LTL." @default.
- W2047211518 created "2016-06-24" @default.
- W2047211518 creator A5053204257 @default.
- W2047211518 creator A5080712914 @default.
- W2047211518 creator A5087953918 @default.
- W2047211518 date "2012-06-01" @default.
- W2047211518 modified "2023-10-05" @default.
- W2047211518 title "Lattice-Valued Kripke Structures Based on Complete Residuated Lattice" @default.
- W2047211518 cites W1963901723 @default.
- W2047211518 cites W1964764902 @default.
- W2047211518 cites W1983382657 @default.
- W2047211518 cites W2011979623 @default.
- W2047211518 cites W2016928625 @default.
- W2047211518 cites W2018982361 @default.
- W2047211518 cites W2037024461 @default.
- W2047211518 cites W2055959955 @default.
- W2047211518 cites W2058739676 @default.
- W2047211518 cites W2059398904 @default.
- W2047211518 cites W2059949763 @default.
- W2047211518 cites W2076938770 @default.
- W2047211518 cites W2090847457 @default.
- W2047211518 cites W2094017389 @default.
- W2047211518 cites W2109187338 @default.
- W2047211518 cites W2167978186 @default.
- W2047211518 cites W2238824626 @default.
- W2047211518 cites W2375639571 @default.
- W2047211518 cites W2506954980 @default.
- W2047211518 cites W2913545290 @default.
- W2047211518 doi "https://doi.org/10.1109/sere-c.2012.29" @default.
- W2047211518 hasPublicationYear "2012" @default.
- W2047211518 type Work @default.
- W2047211518 sameAs 2047211518 @default.
- W2047211518 citedByCount "1" @default.
- W2047211518 countsByYear W20472115182014 @default.
- W2047211518 crossrefType "proceedings-article" @default.
- W2047211518 hasAuthorship W2047211518A5053204257 @default.
- W2047211518 hasAuthorship W2047211518A5080712914 @default.
- W2047211518 hasAuthorship W2047211518A5087953918 @default.
- W2047211518 hasConcept C102993220 @default.
- W2047211518 hasConcept C110251889 @default.
- W2047211518 hasConcept C11413529 @default.
- W2047211518 hasConcept C118615104 @default.
- W2047211518 hasConcept C121332964 @default.
- W2047211518 hasConcept C154945302 @default.
- W2047211518 hasConcept C160131679 @default.
- W2047211518 hasConcept C161913894 @default.
- W2047211518 hasConcept C202444582 @default.
- W2047211518 hasConcept C24890656 @default.
- W2047211518 hasConcept C2781204021 @default.
- W2047211518 hasConcept C2781278839 @default.
- W2047211518 hasConcept C33203268 @default.
- W2047211518 hasConcept C33923547 @default.
- W2047211518 hasConcept C41008148 @default.
- W2047211518 hasConcept C58166 @default.
- W2047211518 hasConcept C80444323 @default.
- W2047211518 hasConceptScore W2047211518C102993220 @default.
- W2047211518 hasConceptScore W2047211518C110251889 @default.
- W2047211518 hasConceptScore W2047211518C11413529 @default.
- W2047211518 hasConceptScore W2047211518C118615104 @default.
- W2047211518 hasConceptScore W2047211518C121332964 @default.
- W2047211518 hasConceptScore W2047211518C154945302 @default.
- W2047211518 hasConceptScore W2047211518C160131679 @default.
- W2047211518 hasConceptScore W2047211518C161913894 @default.
- W2047211518 hasConceptScore W2047211518C202444582 @default.
- W2047211518 hasConceptScore W2047211518C24890656 @default.
- W2047211518 hasConceptScore W2047211518C2781204021 @default.
- W2047211518 hasConceptScore W2047211518C2781278839 @default.
- W2047211518 hasConceptScore W2047211518C33203268 @default.
- W2047211518 hasConceptScore W2047211518C33923547 @default.
- W2047211518 hasConceptScore W2047211518C41008148 @default.
- W2047211518 hasConceptScore W2047211518C58166 @default.
- W2047211518 hasConceptScore W2047211518C80444323 @default.
- W2047211518 hasLocation W20472115181 @default.
- W2047211518 hasOpenAccess W2047211518 @default.
- W2047211518 hasPrimaryLocation W20472115181 @default.
- W2047211518 hasRelatedWork W1568513899 @default.
- W2047211518 hasRelatedWork W1985218657 @default.
- W2047211518 hasRelatedWork W2042193210 @default.
- W2047211518 hasRelatedWork W2047211518 @default.
- W2047211518 hasRelatedWork W2071988067 @default.
- W2047211518 hasRelatedWork W2096753949 @default.
- W2047211518 hasRelatedWork W2383159230 @default.
- W2047211518 hasRelatedWork W2765506158 @default.
- W2047211518 hasRelatedWork W4249580765 @default.
- W2047211518 hasRelatedWork W4299541671 @default.
- W2047211518 isParatext "false" @default.
- W2047211518 isRetracted "false" @default.
- W2047211518 magId "2047211518" @default.
- W2047211518 workType "article" @default.