scientific article; zbMATH DE number 2063025

MaRDI QIDQ4460679zbMATH OpenFDO

Authors Paul Harrenstein, Wiebe van der Hoek, Cees Witteveen, John-Jules Meyer

Publication date 29 March 2004

zbMATH Keywords

dynamic logicgame theorymodal logicmulti-agent systemNash equilibrium

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Decision theory for games (91A35) Special types of economic equilibria (91B52)

Recommendations

• Quantifying in extensive games
• Model Checking Strategic Equilibria
• A modal logic of epistemic games
• scientific article; zbMATH DE number 2051378
• Game logic and its applications. I

Cited in

(31)

• Knowledge condition games
• Reasoning about temporal properties of rational play
• Everything else being equal: a modal logic for ceteris paribus preferences
• Extensive games as process models
• A modal logic for mixed strategies
• Characterization, verification and generation of strategies in games with resource constraints
• Reasoning in large games with unboundedly many players
• Strategic reasoning: building cognitive models from logical formulas
• Toward a theory of play: a logical perspective on games and interaction
• Some comments on history based structures
• Preference dynamics in games with short sight
• A modal logic for reasoning about economic policies
• A characterization of mixed-strategy Nash equilibria in PCTL augmented with a cost quantifier
• Quantifying in extensive games
• Specification and Verification of Multi-Agent Systems
• A note on assumption-completeness in modal logic
• A Logic for Reasoning about Rational Agents
• Model Checking Strategic Equilibria
• Propositional dynamic logic for searching games with errors
• Deontic logic for strategic games
• Preference at first sight
• Reasoning about social choice and games in monadic fixed-point logic
• Temporal logic with preferences and reasoning about games
• A characterization of equilibria in the Groves-Ledyard mechanism
• A logical description of priority separable games
• Local fact change logic
• Implicit quantification for modal reasoning in large games
• Finitely defined preference and preference indiscernibility in ATL with strategy contexts
• A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria
• Reasoning about coalitional games
• A logical characterization of extensive games with short sight

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4460679)