Logic in games

zbMATH Open1291.03003MaRDI QIDQ5404483FDOQ5404483

Authors: Johan van Benthem 

Publication date: 24 March 2014

Recommendations

• Logical dynamics of information and interaction
• Independence-friendly logic. A game-theoretic approach
• Logic and Game Theory
• scientific article; zbMATH DE number 6954646
• scientific article; zbMATH DE number 2051378

zbMATH Keywords

game theorymodal logicdynamic logicimperfect informationstrategic gamessabotage gamespreference logicslogical evaluation games

Mathematics Subject Classification ID

Applications of game theory (91A80) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Rationality and learning in game theory (91A26) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (68)

• Instantial neighbourhood logic
• From semantic games to provability: the case of Gödel logic
• Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
• A propositional dynamic logic for instantial neighborhood semantics
• On the use (and abuse) of logic in game theory
• Logic and Game Theory
• Łukasiewicz games: a logic-based approach to quantitative strategic interactions
• Natural language and logic of agency
• Bayesian Networks and Games of Deterrence
• Hypergame theory: a model for conflict, misperception, and deception
• Modeling reasoning in a social setting
• Reasoning about games
• Implicit and explicit stances in logic
• Preference at first sight
• Introspection as an action in relational models
• Title not available (Why is that?)
• The undecidability of quantified announcements
• Computation as social agency: what, how and who
• Logical dynamics of information and interaction
• Strategies in games: a logic-automata study
• Reasoning about strategies
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• A new game equivalence, its logic and algebra
• On the subtle nature of a simple logic of the hide and seek game
• Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD
• Coalition and relativised group announcement logic
• Opaque updates
• Hintikka's independence-friendly logic meets Nelson's realizability
• A simple logic of functional dependence
• Small model property reflects in games and automata
• A modal logic for supervised learning
• Connecting sequent calculi with Lorenzen-style dialogue games
• Games for hybrid logic. From semantic games to analytic calculi
• Intuitionistic games: determinacy, completeness, and normalization
• Title not available (Why is that?)
• Logics for dynamic epistemic behavioral strategies
• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Title not available (Why is that?)
• An alternative analysis of signaling games
• Private expansion and revision in multi-agent settings
• Cooperation in games and epistemic readings of independence-friendly sentences
• A simple logic of the hide and seek game
• Epistemic planning: perspectives on the special issue
• The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
• Verification and strategy synthesis for coalition announcement logic
• Towards Syntactic Epistemic Logic
• A history based logic for dynamic preference updates
• Temporal Aspects of the Dynamics of Knowledge
• A new game equivalence and its modal logic
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• The interrogative model of inquiry meets dynamic epistemic logics
• Talking about knowledge
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• Simulation of action theories and an application to general game-playing robots
• Logical player types for a theory of play
• Tracking information
• The logic of joint ability in two-player tacit games
• To be announced
• On semantic gamification
• Graph games and logic design
• Solution complexity of local variants of sabotage game
• The modal logics of the poison game
• Compositionality in context
• The game semantics of game theory
• The strategic balance of games in logic
• Reasoning about dependence, preference and coalitional power
• Between Imagination and Gambling. The Forms of Validity in Scholastic Logic
• Axiomatization of hybrid logic of link variations

This page was built for publication: Logic in games

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