scientific article; zbMATH DE number 6272635
From MaRDI portal
Publication:5404483
zbMath1291.03003MaRDI QIDQ5404483
Publication date: 24 March 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
game theorymodal logicdynamic logicstrategic gamesimperfect informationsabotage gamespreference logicslogical evaluation games
Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Rationality and learning in game theory (91A26)
Related Items (55)
On the use (and abuse) of logic in game theory ⋮ Łukasiewicz Games ⋮ Hypergame theory: a model for conflict, misperception, and deception ⋮ Towards Syntactic Epistemic Logic ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ The undecidability of quantified announcements ⋮ Computation as social agency: what, how and who ⋮ 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 ⋮ Intuitionistic games: determinacy, completeness, and normalization ⋮ A modal logic for supervised learning ⋮ Hintikka's independence-friendly logic meets Nelson's realizability ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ To be announced ⋮ A simple logic of the hide and seek game ⋮ Cooperation in games and epistemic readings of independence-friendly sentences ⋮ Between Imagination and Gambling. The Forms of Validity in Scholastic Logic ⋮ Epistemic planning: perspectives on the special issue ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ Reasoning about dependence, preference and coalitional power ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Unnamed Item ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ Talking About Knowledge ⋮ Tracking Information ⋮ Coalition and relativised group announcement logic ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ A simple logic of functional dependence ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ Implicit and explicit stances in logic ⋮ Natural language and logic of agency ⋮ Reasoning about Strategies ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ Introspection as an action in relational models ⋮ Modeling reasoning in a social setting ⋮ Bayesian Networks and Games of Deterrence ⋮ Opaque updates ⋮ Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention ⋮ Logics for Dynamic Epistemic Behavioral Strategies ⋮ On Semantic Gamification ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ A propositional dynamic logic for instantial neighborhood semantics ⋮ A new game equivalence, its logic and algebra ⋮ 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 ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ From semantic games to provability: the case of Gödel logic
This page was built for publication:
