The following pages link to (Q5404483):
Displaying 50 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Hypergame theory: a model for conflict, misperception, and deception (Q275879) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Opaque updates (Q2037297) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Small model property reflects in games and automata (Q2151424) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Natural language and logic of agency (Q2255238) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention (Q2515783) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms (Q3298274) (← links)
- Talking About Knowledge (Q3299839) (← links)
- Tracking Information (Q3305434) (← links)
- Private Expansion and Revision in Multi-agent Settings (Q3451175) (← links)
- Bayesian Networks and Games of Deterrence (Q4687467) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- (Q5015393) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- (Q5016799) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- Towards Syntactic Epistemic Logic (Q5038565) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Logics for Dynamic Epistemic Behavioral Strategies (Q5213672) (← links)
- On Semantic Gamification (Q5224500) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Logical Player Types for a Theory of Play (Q5249681) (← links)
- An Alternative Analysis of Signaling Games (Q5249682) (← links)
- Łukasiewicz Games (Q5277898) (← links)
- THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
