The following pages link to Extensive games as process models (Q1610625):
Displayed 29 items.
- Multigames and strategies, coalgebraically (Q890378) (← links)
- A logical characterization of extensive games with short sight (Q896918) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Logic and games: an introduction (Q2016075) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Characterization, verification and generation of strategies in games with resource constraints (Q2125548) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Some comments on history based structures (Q2475431) (← links)
- An Epistemic Logic of Extensive Games (Q2825421) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- Dynamic Restriction of Choices: Synthesis of Societal Rules (Q3093994) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" (Q3502827) (← links)
- Stability under Strategy Switching (Q3576071) (← links)
- Decisions, Actions, and Games: A Logical Perspective (Q3601797) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- (Q4972730) (← links)
- (Q5018506) (← links)
- (Q5111630) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
- RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES (Q5294339) (← links)
- DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES (Q5396049) (← links)