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