Logic in games
From MaRDI portal
dynamic logicgame theoryimperfect informationlogical evaluation gamesmodal logicpreference logicssabotage gamesstrategic games
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) 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) Applications of game theory (91A80)
Recommendations
Cited in
(73)- Computation as social agency: what, how and who
- Hintikka's independence-friendly logic meets Nelson's realizability
- Cooperation in games and epistemic readings of independence-friendly sentences
- Implicit and explicit stances in logic
- Introspection as an action in relational models
- Modeling reasoning in a social setting
- Opaque updates
- Verification and strategy synthesis for coalition announcement logic
- From semantic games to provability: the case of Gödel logic
- Games for hybrid logic. From semantic games to analytic calculi
- 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
- Small model property reflects in games and automata
- A modal logic for supervised learning
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic
- A history based logic for dynamic preference updates
- Coalition and relativised group announcement logic
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- A simple logic of functional dependence
- Natural language and logic of agency
- A propositional dynamic logic for instantial neighborhood semantics
- A new game equivalence, its logic and algebra
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
- On the use (and abuse) of logic in game theory
- Hypergame theory: a model for conflict, misperception, and deception
- Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
- The undecidability of quantified announcements
- Logical dynamics of information and interaction
- Strategies in games: a logic-automata study
- The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
- Talking about knowledge
- Tracking information
- Intuitionistic games: determinacy, completeness, and normalization
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- Private expansion and revision in multi-agent settings
- Bayesian Networks and Games of Deterrence
- scientific article; zbMATH DE number 6954646 (Why is no real title available?)
- scientific article; zbMATH DE number 2096829 (Why is no real title available?)
- Reasoning about strategies
- Preference at first sight
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- A new game equivalence and its modal logic
- Connecting sequent calculi with Lorenzen-style dialogue games
- Towards Syntactic Epistemic Logic
- The interrogative model of inquiry meets dynamic epistemic logics
- Simulation of action theories and an application to general game-playing robots
- Logics for dynamic epistemic behavioral strategies
- On semantic gamification
- Temporal Aspects of the Dynamics of Knowledge
- Logic and Game Theory
- Logical player types for a theory of play
- An alternative analysis of signaling games
- Łukasiewicz games: a logic-based approach to quantitative strategic interactions
- The logic of joint ability in two-player tacit games
- Instantial neighbourhood logic
- To be announced
- A simple logic of the hide and seek game
- Between Imagination and Gambling. The Forms of Validity in Scholastic Logic
- Epistemic planning: perspectives on the special issue
- Reasoning about dependence, preference and coalitional power
- Reasoning about games
- Axiomatization of hybrid logic of link variations
- The modal logics of the poison game
- Solution complexity of local variants of sabotage game
- Graph games and logic design
- The game semantics of game theory
- The strategic balance of games in logic
- Compositionality in context
- Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra
- Modal equivalence, n-bisimulation and model comparison game for basic neighbourhood logic
- Game semantics for modal logic with counting
- Games for hybrid logic from semantic games to analytic calculi
- A modal approach towards substitutions
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)
