Extensive games as process models

From MaRDI portal
Publication:1610625

DOI10.1023/A:1015534111901zbMath1003.03530MaRDI QIDQ1610625

J. F. A. K. van Benthem

Publication date: 20 August 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)




Related Items (29)

Characterization, verification and generation of strategies in games with resource constraintsComplementation of Coalgebra AutomataEquivalences and Congruences on Infinite Conway GamesSome remarks on the model theory of epistemic plausibility modelsRATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMESA Propositional Dynamic Logic for Concurrent Programs Based on the π-CalculusUnnamed ItemMultigames and strategies, coalgebraicallyERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"A logical characterization of extensive games with short sightAutomated temporal equilibrium analysis: verification and synthesis of multi-player gamesUnnamed ItemDYNAMICS OF CHOICE RESTRICTION IN LARGE GAMESSome comments on history based structuresStability under Strategy SwitchingReasoning about StrategiesLogic and games: an introductionModeling reasoning in a social settingDecisions, Actions, and Games: A Logical PerspectiveUnnamed ItemEmbedding Coalition Logic in the Minimal Normal Multimodal Logic with IntersectionReasoning about Joint Action and Coalitional Ability in K n with IntersectionModelling simultaneous games in dynamic logicDynamic Restriction of Choices: Synthesis of Societal RulesAn Epistemic Logic of Extensive GamesREASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATIONA logical characterisation of qualitative coalitional gamesLogic and Game TheoryLogic and Complexity in Cognitive Science






This page was built for publication: Extensive games as process models