Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300769944> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4300769944 abstract "Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic based on stochastic effectivity functions. A definition of these functions is proposed, and some algebraic properties of effectivity functions such as congruences are investigated. The relationship to stochastic relations is characterized through a deduction system. Logical and behavioral equivalence of game models is investigated. Finally the completion of models receives some attention." @default.
- W4300769944 created "2022-10-04" @default.
- W4300769944 creator A5060662730 @default.
- W4300769944 date "2014-03-30" @default.
- W4300769944 modified "2023-10-12" @default.
- W4300769944 title "Stochastic Interpretation of Game Logic" @default.
- W4300769944 doi "https://doi.org/10.48550/arxiv.1403.7765" @default.
- W4300769944 hasPublicationYear "2014" @default.
- W4300769944 type Work @default.
- W4300769944 citedByCount "0" @default.
- W4300769944 crossrefType "posted-content" @default.
- W4300769944 hasAuthorship W4300769944A5060662730 @default.
- W4300769944 hasBestOaLocation W43007699441 @default.
- W4300769944 hasConcept C11255438 @default.
- W4300769944 hasConcept C118615104 @default.
- W4300769944 hasConcept C121332964 @default.
- W4300769944 hasConcept C144237770 @default.
- W4300769944 hasConcept C15184713 @default.
- W4300769944 hasConcept C15884701 @default.
- W4300769944 hasConcept C165801399 @default.
- W4300769944 hasConcept C172385210 @default.
- W4300769944 hasConcept C185592680 @default.
- W4300769944 hasConcept C188027245 @default.
- W4300769944 hasConcept C199360897 @default.
- W4300769944 hasConcept C22171661 @default.
- W4300769944 hasConcept C25016198 @default.
- W4300769944 hasConcept C27508121 @default.
- W4300769944 hasConcept C2777796570 @default.
- W4300769944 hasConcept C2780069185 @default.
- W4300769944 hasConcept C33923547 @default.
- W4300769944 hasConcept C41008148 @default.
- W4300769944 hasConcept C527412718 @default.
- W4300769944 hasConcept C62520636 @default.
- W4300769944 hasConcept C69562738 @default.
- W4300769944 hasConcept C71139939 @default.
- W4300769944 hasConcept C80444323 @default.
- W4300769944 hasConcept C84114770 @default.
- W4300769944 hasConcept C9973445 @default.
- W4300769944 hasConceptScore W4300769944C11255438 @default.
- W4300769944 hasConceptScore W4300769944C118615104 @default.
- W4300769944 hasConceptScore W4300769944C121332964 @default.
- W4300769944 hasConceptScore W4300769944C144237770 @default.
- W4300769944 hasConceptScore W4300769944C15184713 @default.
- W4300769944 hasConceptScore W4300769944C15884701 @default.
- W4300769944 hasConceptScore W4300769944C165801399 @default.
- W4300769944 hasConceptScore W4300769944C172385210 @default.
- W4300769944 hasConceptScore W4300769944C185592680 @default.
- W4300769944 hasConceptScore W4300769944C188027245 @default.
- W4300769944 hasConceptScore W4300769944C199360897 @default.
- W4300769944 hasConceptScore W4300769944C22171661 @default.
- W4300769944 hasConceptScore W4300769944C25016198 @default.
- W4300769944 hasConceptScore W4300769944C27508121 @default.
- W4300769944 hasConceptScore W4300769944C2777796570 @default.
- W4300769944 hasConceptScore W4300769944C2780069185 @default.
- W4300769944 hasConceptScore W4300769944C33923547 @default.
- W4300769944 hasConceptScore W4300769944C41008148 @default.
- W4300769944 hasConceptScore W4300769944C527412718 @default.
- W4300769944 hasConceptScore W4300769944C62520636 @default.
- W4300769944 hasConceptScore W4300769944C69562738 @default.
- W4300769944 hasConceptScore W4300769944C71139939 @default.
- W4300769944 hasConceptScore W4300769944C80444323 @default.
- W4300769944 hasConceptScore W4300769944C84114770 @default.
- W4300769944 hasConceptScore W4300769944C9973445 @default.
- W4300769944 hasLocation W43007699441 @default.
- W4300769944 hasOpenAccess W4300769944 @default.
- W4300769944 hasPrimaryLocation W43007699441 @default.
- W4300769944 hasRelatedWork W176661328 @default.
- W4300769944 hasRelatedWork W2048592740 @default.
- W4300769944 hasRelatedWork W2149381381 @default.
- W4300769944 hasRelatedWork W2156038678 @default.
- W4300769944 hasRelatedWork W2163751633 @default.
- W4300769944 hasRelatedWork W2166216406 @default.
- W4300769944 hasRelatedWork W3108798275 @default.
- W4300769944 hasRelatedWork W3126675290 @default.
- W4300769944 hasRelatedWork W3129277215 @default.
- W4300769944 hasRelatedWork W4385444924 @default.
- W4300769944 isParatext "false" @default.
- W4300769944 isRetracted "false" @default.
- W4300769944 workType "article" @default.