FRINK Linked Data Fragments server

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

• W2170234080 endingPage "272" @default.
• W2170234080 startingPage "259" @default.
• W2170234080 abstract "We draw parallels between coalition game logics developed in [Pauly, 2000b] and [Pauly, 2000c] on one hand, and alternating-time temporal logics of computations introduced in [Alur et al, 97] on the other. In particular, we show equivalence of their semantics, embedding of coalition game logics into alternating-time temporal logic, and propose axiomatic systems for these logics." @default.
• W2170234080 created "2016-06-24" @default.
• W2170234080 creator A5066665696 @default.
• W2170234080 date "2001-07-08" @default.
• W2170234080 modified "2023-09-28" @default.
• W2170234080 title "Coalition games and alternating temporal logics" @default.
• W2170234080 cites W1500928105 @default.
• W2170234080 cites W1509988292 @default.
• W2170234080 cites W1606443439 @default.
• W2170234080 cites W193053345 @default.
• W2170234080 cites W2048905609 @default.
• W2170234080 cites W2109100253 @default.
• W2170234080 cites W2132580059 @default.
• W2170234080 cites W2132750992 @default.
• W2170234080 cites W2155774780 @default.
• W2170234080 cites W2396555304 @default.
• W2170234080 hasPublicationYear "2001" @default.
• W2170234080 type Work @default.
• W2170234080 sameAs 2170234080 @default.
• W2170234080 citedByCount "61" @default.
• W2170234080 countsByYear W21702340802012 @default.
• W2170234080 countsByYear W21702340802013 @default.
• W2170234080 countsByYear W21702340802015 @default.
• W2170234080 countsByYear W21702340802016 @default.
• W2170234080 countsByYear W21702340802017 @default.
• W2170234080 countsByYear W21702340802018 @default.
• W2170234080 countsByYear W21702340802019 @default.
• W2170234080 countsByYear W21702340802023 @default.
• W2170234080 crossrefType "proceedings-article" @default.
• W2170234080 hasAuthorship W2170234080A5066665696 @default.
• W2170234080 hasConcept C118615104 @default.
• W2170234080 hasConcept C144237770 @default.
• W2170234080 hasConcept C154945302 @default.
• W2170234080 hasConcept C162324750 @default.
• W2170234080 hasConcept C167729594 @default.
• W2170234080 hasConcept C1883856 @default.
• W2170234080 hasConcept C21547014 @default.
• W2170234080 hasConcept C25016198 @default.
• W2170234080 hasConcept C2524010 @default.
• W2170234080 hasConcept C2775922551 @default.
• W2170234080 hasConcept C2780069185 @default.
• W2170234080 hasConcept C32241873 @default.
• W2170234080 hasConcept C33923547 @default.
• W2170234080 hasConcept C41008148 @default.
• W2170234080 hasConcept C41608201 @default.
• W2170234080 hasConcept C42011625 @default.
• W2170234080 hasConcept C5263885 @default.
• W2170234080 hasConcept C58166 @default.
• W2170234080 hasConcept C80444323 @default.
• W2170234080 hasConcept C86602344 @default.
• W2170234080 hasConcept C98224912 @default.
• W2170234080 hasConceptScore W2170234080C118615104 @default.
• W2170234080 hasConceptScore W2170234080C144237770 @default.
• W2170234080 hasConceptScore W2170234080C154945302 @default.
• W2170234080 hasConceptScore W2170234080C162324750 @default.
• W2170234080 hasConceptScore W2170234080C167729594 @default.
• W2170234080 hasConceptScore W2170234080C1883856 @default.
• W2170234080 hasConceptScore W2170234080C21547014 @default.
• W2170234080 hasConceptScore W2170234080C25016198 @default.
• W2170234080 hasConceptScore W2170234080C2524010 @default.
• W2170234080 hasConceptScore W2170234080C2775922551 @default.
• W2170234080 hasConceptScore W2170234080C2780069185 @default.
• W2170234080 hasConceptScore W2170234080C32241873 @default.
• W2170234080 hasConceptScore W2170234080C33923547 @default.
• W2170234080 hasConceptScore W2170234080C41008148 @default.
• W2170234080 hasConceptScore W2170234080C41608201 @default.
• W2170234080 hasConceptScore W2170234080C42011625 @default.
• W2170234080 hasConceptScore W2170234080C5263885 @default.
• W2170234080 hasConceptScore W2170234080C58166 @default.
• W2170234080 hasConceptScore W2170234080C80444323 @default.
• W2170234080 hasConceptScore W2170234080C86602344 @default.
• W2170234080 hasConceptScore W2170234080C98224912 @default.
• W2170234080 hasLocation W21702340801 @default.
• W2170234080 hasOpenAccess W2170234080 @default.
• W2170234080 hasPrimaryLocation W21702340801 @default.
• W2170234080 hasRelatedWork W133274798 @default.
• W2170234080 hasRelatedWork W1497329491 @default.
• W2170234080 hasRelatedWork W1500679563 @default.
• W2170234080 hasRelatedWork W1500928105 @default.
• W2170234080 hasRelatedWork W1612453857 @default.
• W2170234080 hasRelatedWork W1998468461 @default.
• W2170234080 hasRelatedWork W2048905609 @default.
• W2170234080 hasRelatedWork W2057234686 @default.
• W2170234080 hasRelatedWork W2070610324 @default.
• W2170234080 hasRelatedWork W2102242479 @default.
• W2170234080 hasRelatedWork W2109058602 @default.
• W2170234080 hasRelatedWork W2109100253 @default.
• W2170234080 hasRelatedWork W2136794369 @default.
• W2170234080 hasRelatedWork W2146819619 @default.
• W2170234080 hasRelatedWork W2155774780 @default.
• W2170234080 hasRelatedWork W2157438678 @default.
• W2170234080 hasRelatedWork W2160254449 @default.
• W2170234080 hasRelatedWork W2161880503 @default.
• W2170234080 hasRelatedWork W2336123333 @default.
• W2170234080 hasRelatedWork W272387249 @default.
• W2170234080 isParatext "false" @default.
• W2170234080 isRetracted "false" @default.
• W2170234080 magId "2170234080" @default.

• next