Strategic reasoning: building cognitive models from logical formulas
From MaRDI portal
Publication:2255230
DOI10.1007/s10849-014-9196-xzbMath1305.91051DBLPjournals/jolli/GhoshMV14OpenAlexW2131505478WikidataQ59318362 ScholiaQ59318362MaRDI QIDQ2255230
Sujata Ghosh, Rineke Verbrugge, Ben Meijering
Publication date: 9 February 2015
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-014-9196-x
Games involving topology, set theory, or logic (91A44) Cognitive psychology (91E10) Experimental studies (91A90)
Related Items (8)
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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Studying strategies and types of players: experiments, logics and cognitive models ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Logic and Complexity in Cognitive Science ⋮ Estimating the use of higher-order theory of mind using computational agents
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about games
- Iterated regret minimization: a new solution concept
- Detecting failures of backward induction: Monitoring information search in sequential bargaining
- Logic and social cognition. The facts matter, and so do computational models
- The power of paradox: some recent developments in interactive epistemology
- Logic and reasoning: do the facts matter?
- Children's application of theory of mind in reasoning and language
- Formal models for real people
- Keep `hoping' for rationality: a solution to the backward induction paradox
- Rational cooperation in the finitely repeated prisoners' dilemma
- On the evaluation of solution concepts
- On rationalizability in extensive games
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Backward induction and common knowledge of rationality
- An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
- Backward induction versus forward induction reasoning
- Knowing and supposing in games of perfect information
- Strategies in Games: A Logic-Automata Study
- Rationalizable Strategic Behavior and the Problem of Perfection
- The Dynamics of Syntactic Knowledge
- A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
- Strategy Logic
- Stability under Strategy Switching
- Backward Induction, Normal Form Perfection and Explicable Equilibria
- An Experimental Study of the Centipede Game
- A Modal Logic for Coalitional Power in Games
- Semantics as a foundation for psychology: A case study of Wason's selection task
This page was built for publication: Strategic reasoning: building cognitive models from logical formulas
