FRINK Linked Data Fragments server

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

• W2105533871 endingPage "578" @default.
• W2105533871 startingPage "559" @default.
• W2105533871 abstract "Seeing To It That (⁠⁠) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form ‘agent a sees to it that φ’. We believe that theory can contribute to the logical analysis of multiagent systems. To support this claim, we show that there is a close relationship with more recent logics for multiagent systems. This work extends Broersen et al. (2006, Electron Notes Theor. Comput. Sci., Vol. 157, pp. 23–35) where we presented a translation from Pauly's Coalition Logic to Chellas' logic. Here we focus on Alur, Henzinger and Kupferman's Alternating-time Temporal Logic ⁠, and the logic of the ‘fused’ ⋄s[_scstit : _] operator for strategic ability, as described by Horty. After a brief presentation of ATL and the definition of a discrete-time strategic framework slightly adapted from Horty, we give a translation from ATL to the framework, and prove that it determines correct embedding." @default.
• W2105533871 created "2016-06-24" @default.
• W2105533871 creator A5001106217 @default.
• W2105533871 creator A5004332415 @default.
• W2105533871 creator A5011445220 @default.
• W2105533871 date "2006-10-01" @default.
• W2105533871 modified "2023-09-25" @default.
• W2105533871 title "Embedding Alternating-time Temporal Logic in Strategic Logic of Agency" @default.
• W2105533871 cites W1500679563 @default.
• W2105533871 cites W1525770870 @default.
• W2105533871 cites W1544973448 @default.
• W2105533871 cites W1557930983 @default.
• W2105533871 cites W1651570284 @default.
• W2105533871 cites W1998468461 @default.
• W2105533871 cites W2048905609 @default.
• W2105533871 cites W2070610324 @default.
• W2105533871 cites W2072964584 @default.
• W2105533871 cites W2083346314 @default.
• W2105533871 cites W2100445208 @default.
• W2105533871 cites W2101146515 @default.
• W2105533871 cites W2109058602 @default.
• W2105533871 cites W2131242225 @default.
• W2105533871 cites W2160254449 @default.
• W2105533871 cites W2161880503 @default.
• W2105533871 cites W2167496701 @default.
• W2105533871 cites W2170234080 @default.
• W2105533871 cites W2610670723 @default.
• W2105533871 cites W272387249 @default.
• W2105533871 cites W2743464945 @default.
• W2105533871 doi "https://doi.org/10.1093/logcom/exl025" @default.
• W2105533871 hasPublicationYear "2006" @default.
• W2105533871 type Work @default.
• W2105533871 sameAs 2105533871 @default.
• W2105533871 citedByCount "53" @default.
• W2105533871 countsByYear W21055338712012 @default.
• W2105533871 countsByYear W21055338712013 @default.
• W2105533871 countsByYear W21055338712014 @default.
• W2105533871 countsByYear W21055338712015 @default.
• W2105533871 countsByYear W21055338712017 @default.
• W2105533871 countsByYear W21055338712018 @default.
• W2105533871 countsByYear W21055338712020 @default.
• W2105533871 countsByYear W21055338712021 @default.
• W2105533871 crossrefType "journal-article" @default.
• W2105533871 hasAuthorship W2105533871A5001106217 @default.
• W2105533871 hasAuthorship W2105533871A5004332415 @default.
• W2105533871 hasAuthorship W2105533871A5011445220 @default.
• W2105533871 hasConcept C102993220 @default.
• W2105533871 hasConcept C107247716 @default.
• W2105533871 hasConcept C108170787 @default.
• W2105533871 hasConcept C111472728 @default.
• W2105533871 hasConcept C119599485 @default.
• W2105533871 hasConcept C120665830 @default.
• W2105533871 hasConcept C121332964 @default.
• W2105533871 hasConcept C127413603 @default.
• W2105533871 hasConcept C138885662 @default.
• W2105533871 hasConcept C150889026 @default.
• W2105533871 hasConcept C154945302 @default.
• W2105533871 hasConcept C165801399 @default.
• W2105533871 hasConcept C172385210 @default.
• W2105533871 hasConcept C192209626 @default.
• W2105533871 hasConcept C199343813 @default.
• W2105533871 hasConcept C203659156 @default.
• W2105533871 hasConcept C25016198 @default.
• W2105533871 hasConcept C2777686260 @default.
• W2105533871 hasConcept C2777796570 @default.
• W2105533871 hasConcept C33203268 @default.
• W2105533871 hasConcept C33923547 @default.
• W2105533871 hasConcept C41008148 @default.
• W2105533871 hasConcept C41608201 @default.
• W2105533871 hasConcept C71924100 @default.
• W2105533871 hasConcept C80444323 @default.
• W2105533871 hasConceptScore W2105533871C102993220 @default.
• W2105533871 hasConceptScore W2105533871C107247716 @default.
• W2105533871 hasConceptScore W2105533871C108170787 @default.
• W2105533871 hasConceptScore W2105533871C111472728 @default.
• W2105533871 hasConceptScore W2105533871C119599485 @default.
• W2105533871 hasConceptScore W2105533871C120665830 @default.
• W2105533871 hasConceptScore W2105533871C121332964 @default.
• W2105533871 hasConceptScore W2105533871C127413603 @default.
• W2105533871 hasConceptScore W2105533871C138885662 @default.
• W2105533871 hasConceptScore W2105533871C150889026 @default.
• W2105533871 hasConceptScore W2105533871C154945302 @default.
• W2105533871 hasConceptScore W2105533871C165801399 @default.
• W2105533871 hasConceptScore W2105533871C172385210 @default.
• W2105533871 hasConceptScore W2105533871C192209626 @default.
• W2105533871 hasConceptScore W2105533871C199343813 @default.
• W2105533871 hasConceptScore W2105533871C203659156 @default.
• W2105533871 hasConceptScore W2105533871C25016198 @default.
• W2105533871 hasConceptScore W2105533871C2777686260 @default.
• W2105533871 hasConceptScore W2105533871C2777796570 @default.
• W2105533871 hasConceptScore W2105533871C33203268 @default.
• W2105533871 hasConceptScore W2105533871C33923547 @default.
• W2105533871 hasConceptScore W2105533871C41008148 @default.
• W2105533871 hasConceptScore W2105533871C41608201 @default.
• W2105533871 hasConceptScore W2105533871C71924100 @default.
• W2105533871 hasConceptScore W2105533871C80444323 @default.
• W2105533871 hasIssue "5" @default.
• W2105533871 hasLocation W21055338711 @default.

• next