Extensive games as process models
From MaRDI portal
Publication:1610625
DOI10.1023/A:1015534111901zbMath1003.03530MaRDI QIDQ1610625
Publication date: 20 August 2002
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
91A80: Applications of game theory
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Unnamed Item, Reasoning about Strategies, Unnamed Item, Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection, Logic and Game Theory, Logic and Complexity in Cognitive Science, RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES, DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES, Multigames and strategies, coalgebraically, A logical characterization of extensive games with short sight, Modelling simultaneous games in dynamic logic, Logic and games: an introduction, Modeling reasoning in a social setting, Characterization, verification and generation of strategies in games with resource constraints, Automated temporal equilibrium analysis: verification and synthesis of multi-player games, Some comments on history based structures, An Epistemic Logic of Extensive Games, Complementation of Coalgebra Automata, Equivalences and Congruences on Infinite Conway Games, Some remarks on the model theory of epistemic plausibility models, Reasoning about Joint Action and Coalitional Ability in K n with Intersection, Dynamic Restriction of Choices: Synthesis of Societal Rules, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus, ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES", Stability under Strategy Switching, Decisions, Actions, and Games: A Logical Perspective, A logical characterisation of qualitative coalitional games