Logic in games
From MaRDI portal
game theorymodal logicdynamic logicimperfect informationstrategic gamessabotage gamespreference logicslogical evaluation games
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)
Recommendations
Cited in
(68)- From semantic games to provability: the case of Gödel logic
- Instantial neighbourhood 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
- Hypergame theory: a model for conflict, misperception, and deception
- Modeling reasoning in a social setting
- Bayesian Networks and Games of Deterrence
- Reasoning about games
- Implicit and explicit stances in logic
- The logic of joint ability in two-player tacit games
- Introspection as an action in relational models
- Preference at first sight
- To be announced
- scientific article; zbMATH DE number 2096829 (Why is no real title available?)
- On semantic gamification
- The undecidability of quantified announcements
- Computation as social agency: what, how and who
- Graph games and logic design
- Solution complexity of local variants of sabotage game
- The modal logics of the poison game
- Logical dynamics of information and interaction
- Strategies in games: a logic-automata study
- 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
- Reasoning about strategies
- Coalition and relativised group announcement logic
- Opaque updates
- Hintikka's independence-friendly logic meets Nelson's realizability
- A simple logic of functional dependence
- Compositionality in context
- The game semantics of game theory
- The strategic balance of games in logic
- Small model property reflects in games and automata
- A modal logic for supervised learning
- Connecting sequent calculi with Lorenzen-style dialogue games
- Reasoning about dependence, preference and coalitional power
- Games for hybrid logic. From semantic games to analytic calculi
- Intuitionistic games: determinacy, completeness, and normalization
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- Logics for dynamic epistemic behavioral strategies
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- scientific article; zbMATH DE number 6954646 (Why is no real title available?)
- An alternative analysis of signaling games
- Private expansion and revision in multi-agent settings
- Cooperation in games and epistemic readings of independence-friendly sentences
- Between Imagination and Gambling. The Forms of Validity in Scholastic Logic
- A simple logic of the hide and seek game
- The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
- Epistemic planning: perspectives on the special issue
- Verification and strategy synthesis for coalition announcement logic
- A history based logic for dynamic preference updates
- Towards Syntactic Epistemic Logic
- Temporal Aspects of the Dynamics of Knowledge
- The interrogative model of inquiry meets dynamic epistemic logics
- Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
- A new game equivalence and its modal logic
- Talking about knowledge
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- Axiomatization of hybrid logic of link variations
- Simulation of action theories and an application to general game-playing robots
- Logical player types for a theory of play
- Tracking information
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)
