Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103281574> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2103281574 endingPage "30" @default.
- W2103281574 startingPage "16" @default.
- W2103281574 abstract "Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structures. In this paper we present sound and complete axiomatizations for some members of this family. We analyze the use of nominals to achieve completeness, and present one example in which they can be avoided." @default.
- W2103281574 created "2016-06-24" @default.
- W2103281574 creator A5022706489 @default.
- W2103281574 creator A5056368365 @default.
- W2103281574 creator A5082992052 @default.
- W2103281574 date "2008-01-01" @default.
- W2103281574 modified "2023-10-06" @default.
- W2103281574 title "Completeness Results for Memory Logics" @default.
- W2103281574 cites W1689987508 @default.
- W2103281574 cites W1805258570 @default.
- W2103281574 cites W1986184086 @default.
- W2103281574 cites W2052882335 @default.
- W2103281574 cites W2102447986 @default.
- W2103281574 cites W2107168574 @default.
- W2103281574 cites W2159131252 @default.
- W2103281574 cites W4211144022 @default.
- W2103281574 cites W4213255959 @default.
- W2103281574 cites W4247128344 @default.
- W2103281574 doi "https://doi.org/10.1007/978-3-540-92687-0_2" @default.
- W2103281574 hasPublicationYear "2008" @default.
- W2103281574 type Work @default.
- W2103281574 sameAs 2103281574 @default.
- W2103281574 citedByCount "2" @default.
- W2103281574 countsByYear W21032815742019 @default.
- W2103281574 crossrefType "book-chapter" @default.
- W2103281574 hasAuthorship W2103281574A5022706489 @default.
- W2103281574 hasAuthorship W2103281574A5056368365 @default.
- W2103281574 hasAuthorship W2103281574A5082992052 @default.
- W2103281574 hasBestOaLocation W21032815742 @default.
- W2103281574 hasConcept C124101348 @default.
- W2103281574 hasConcept C134306372 @default.
- W2103281574 hasConcept C162319229 @default.
- W2103281574 hasConcept C17231256 @default.
- W2103281574 hasConcept C185592680 @default.
- W2103281574 hasConcept C188027245 @default.
- W2103281574 hasConcept C199360897 @default.
- W2103281574 hasConcept C27508121 @default.
- W2103281574 hasConcept C33923547 @default.
- W2103281574 hasConcept C41008148 @default.
- W2103281574 hasConcept C5655090 @default.
- W2103281574 hasConcept C71139939 @default.
- W2103281574 hasConcept C80444323 @default.
- W2103281574 hasConceptScore W2103281574C124101348 @default.
- W2103281574 hasConceptScore W2103281574C134306372 @default.
- W2103281574 hasConceptScore W2103281574C162319229 @default.
- W2103281574 hasConceptScore W2103281574C17231256 @default.
- W2103281574 hasConceptScore W2103281574C185592680 @default.
- W2103281574 hasConceptScore W2103281574C188027245 @default.
- W2103281574 hasConceptScore W2103281574C199360897 @default.
- W2103281574 hasConceptScore W2103281574C27508121 @default.
- W2103281574 hasConceptScore W2103281574C33923547 @default.
- W2103281574 hasConceptScore W2103281574C41008148 @default.
- W2103281574 hasConceptScore W2103281574C5655090 @default.
- W2103281574 hasConceptScore W2103281574C71139939 @default.
- W2103281574 hasConceptScore W2103281574C80444323 @default.
- W2103281574 hasLocation W21032815741 @default.
- W2103281574 hasLocation W21032815742 @default.
- W2103281574 hasOpenAccess W2103281574 @default.
- W2103281574 hasPrimaryLocation W21032815741 @default.
- W2103281574 hasRelatedWork W1569740157 @default.
- W2103281574 hasRelatedWork W1966928428 @default.
- W2103281574 hasRelatedWork W2025670560 @default.
- W2103281574 hasRelatedWork W2028164131 @default.
- W2103281574 hasRelatedWork W2103281574 @default.
- W2103281574 hasRelatedWork W2355443701 @default.
- W2103281574 hasRelatedWork W3016746667 @default.
- W2103281574 hasRelatedWork W4233387348 @default.
- W2103281574 hasRelatedWork W4287814874 @default.
- W2103281574 hasRelatedWork W45950492 @default.
- W2103281574 isParatext "false" @default.
- W2103281574 isRetracted "false" @default.
- W2103281574 magId "2103281574" @default.
- W2103281574 workType "book-chapter" @default.