FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008441772> ?p ?o ?g. }

• W2008441772 endingPage "36" @default.
• W2008441772 startingPage "1" @default.
• W2008441772 abstract "The article proposes logics for information systems , which provide information about a set of objects regarding a set of attributes. Both “ complete ” and “ incomplete ” information systems are dealt with. The language of these logics contains modal operators, and constants corresponding to attributes and attribute values. Sound and complete deductive systems for these logics are presented, and the problem of decidability is addressed. Furthermore, notions of information and information update are defined, and dynamic extensions of the above logics are presented to accommodate these notions. A set of reduction axioms enables us to obtain a complete axiomatization of the dynamic logics." @default.
• W2008441772 created "2016-06-24" @default.
• W2008441772 creator A5046102840 @default.
• W2008441772 creator A5078473465 @default.
• W2008441772 date "2011-07-01" @default.
• W2008441772 modified "2023-09-30" @default.
• W2008441772 title "Logics for information systems and their dynamic extensions" @default.
• W2008441772 cites W1569340082 @default.
• W2008441772 cites W1580496069 @default.
• W2008441772 cites W1979029381 @default.
• W2008441772 cites W1989098065 @default.
• W2008441772 cites W2000176482 @default.
• W2008441772 cites W2015787064 @default.
• W2008441772 cites W2034679184 @default.
• W2008441772 cites W2071988067 @default.
• W2008441772 cites W2073311296 @default.
• W2008441772 cites W2088135026 @default.
• W2008441772 cites W2095290023 @default.
• W2008441772 cites W2103514965 @default.
• W2008441772 cites W2149400607 @default.
• W2008441772 cites W2159131252 @default.
• W2008441772 cites W3004042400 @default.
• W2008441772 cites W3162539961 @default.
• W2008441772 cites W4211144022 @default.
• W2008441772 cites W4235131552 @default.
• W2008441772 cites W4255833381 @default.
• W2008441772 doi "https://doi.org/10.1145/1970398.1970405" @default.
• W2008441772 hasPublicationYear "2011" @default.
• W2008441772 type Work @default.
• W2008441772 sameAs 2008441772 @default.
• W2008441772 citedByCount "14" @default.
• W2008441772 countsByYear W20084417722013 @default.
• W2008441772 countsByYear W20084417722014 @default.
• W2008441772 countsByYear W20084417722015 @default.
• W2008441772 countsByYear W20084417722020 @default.
• W2008441772 countsByYear W20084417722021 @default.
• W2008441772 countsByYear W20084417722022 @default.
• W2008441772 countsByYear W20084417722023 @default.
• W2008441772 crossrefType "journal-article" @default.
• W2008441772 hasAuthorship W2008441772A5046102840 @default.
• W2008441772 hasAuthorship W2008441772A5078473465 @default.
• W2008441772 hasConcept C102993220 @default.
• W2008441772 hasConcept C111335779 @default.
• W2008441772 hasConcept C11191006 @default.
• W2008441772 hasConcept C136119220 @default.
• W2008441772 hasConcept C153269930 @default.
• W2008441772 hasConcept C154945302 @default.
• W2008441772 hasConcept C167729594 @default.
• W2008441772 hasConcept C177264268 @default.
• W2008441772 hasConcept C185592680 @default.
• W2008441772 hasConcept C188027245 @default.
• W2008441772 hasConcept C199360897 @default.
• W2008441772 hasConcept C202444582 @default.
• W2008441772 hasConcept C203659156 @default.
• W2008441772 hasConcept C2524010 @default.
• W2008441772 hasConcept C27508121 @default.
• W2008441772 hasConcept C33923547 @default.
• W2008441772 hasConcept C41008148 @default.
• W2008441772 hasConcept C42011625 @default.
• W2008441772 hasConcept C5263885 @default.
• W2008441772 hasConcept C58166 @default.
• W2008441772 hasConcept C71139939 @default.
• W2008441772 hasConcept C78344899 @default.
• W2008441772 hasConcept C80444323 @default.
• W2008441772 hasConcept C86602344 @default.
• W2008441772 hasConceptScore W2008441772C102993220 @default.
• W2008441772 hasConceptScore W2008441772C111335779 @default.
• W2008441772 hasConceptScore W2008441772C11191006 @default.
• W2008441772 hasConceptScore W2008441772C136119220 @default.
• W2008441772 hasConceptScore W2008441772C153269930 @default.
• W2008441772 hasConceptScore W2008441772C154945302 @default.
• W2008441772 hasConceptScore W2008441772C167729594 @default.
• W2008441772 hasConceptScore W2008441772C177264268 @default.
• W2008441772 hasConceptScore W2008441772C185592680 @default.
• W2008441772 hasConceptScore W2008441772C188027245 @default.
• W2008441772 hasConceptScore W2008441772C199360897 @default.
• W2008441772 hasConceptScore W2008441772C202444582 @default.
• W2008441772 hasConceptScore W2008441772C203659156 @default.
• W2008441772 hasConceptScore W2008441772C2524010 @default.
• W2008441772 hasConceptScore W2008441772C27508121 @default.
• W2008441772 hasConceptScore W2008441772C33923547 @default.
• W2008441772 hasConceptScore W2008441772C41008148 @default.
• W2008441772 hasConceptScore W2008441772C42011625 @default.
• W2008441772 hasConceptScore W2008441772C5263885 @default.
• W2008441772 hasConceptScore W2008441772C58166 @default.
• W2008441772 hasConceptScore W2008441772C71139939 @default.
• W2008441772 hasConceptScore W2008441772C78344899 @default.
• W2008441772 hasConceptScore W2008441772C80444323 @default.
• W2008441772 hasConceptScore W2008441772C86602344 @default.
• W2008441772 hasIssue "4" @default.
• W2008441772 hasLocation W20084417721 @default.
• W2008441772 hasOpenAccess W2008441772 @default.
• W2008441772 hasPrimaryLocation W20084417721 @default.
• W2008441772 hasRelatedWork W1549113541 @default.
• W2008441772 hasRelatedWork W1692087081 @default.
• W2008441772 hasRelatedWork W2008441772 @default.
• W2008441772 hasRelatedWork W2537855361 @default.
• W2008441772 hasRelatedWork W2920640004 @default.

• next