The following pages link to Game logic -- an overview (Q1425186):
Displaying 36 items.
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- Logic games are complete for game logics (Q1425187) (← links)
- Representation of game algebras (Q1425190) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Logic and games: an introduction (Q2016075) (← links)
- A modal logic for mixed strategies (Q2016081) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Games for active XML revisited (Q2402614) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- An introduction to game logic (Q2702562) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- A Game Semantics for Grz (Q3431966) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- (Q4972730) (← links)
- (Q5014445) (← links)
- Constructive Game Logic (Q5041088) (← links)
- (Q5111630) (← links)
- Logics for Dynamic Epistemic Behavioral Strategies (Q5213672) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Differential Game Logic (Q5277902) (← links)
- Taming Multirelations (Q5278188) (← links)
- To be announced (Q6040661) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
