Extensive games as process models

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)

zbMATH Keywords

modal logic; bisimulation; dynamic logic; extensive games; interactive process models

Mathematics Subject Classification ID

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

Reasoning about Strategies, 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, 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