scientific article; zbMATH DE number 6108064
From MaRDI portal
Publication:4648832
zbMath1279.91040MaRDI QIDQ4648832
No author found.
Publication date: 16 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Games in extensive form (91A18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Rationality and learning in game theory (91A26)
Related Items (7)
An automated method for building cognitive models for turn-based games from a strategy logic ⋮ Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models ⋮ Reasoning in large games with unboundedly many players ⋮ Studying strategies and types of players: experiments, logics and cognitive models ⋮ Strategic reasoning: building cognitive models from logical formulas ⋮ A Logic for Strategy Updates ⋮ Logical Player Types for a Theory of Play
This page was built for publication:
