A Modal Logic for Coalitional Power in Games
From MaRDI portal
Publication:4329525
DOI10.1093/logcom/12.1.149zbMath1003.91006OpenAlexW2109058602MaRDI QIDQ4329525
Publication date: 30 January 2003
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/12.1.149
Cooperative games (91A12) Modal logic (including the logic of norms) (03B45) Games in extensive form (91A18) Other applications of logic (03B80)
Related Items
To be announced, Counterfactual and seeing-to-it responsibilities in strategic games, An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information, The logic of secrets and the interpolation rule, Unnamed Item, Formal modelling and verification of probabilistic resource bounded agents, Reasoning about dependence, preference and coalitional power, Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard, Intelligence in Strategic Games, Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection, Logic and Game Theory, Combinations of \textit{stit} with \textit{ought} and \textit{know}, Choice-driven counterfactuals, Constructive Game Logic, Some forms of collectively bringing about or `seeing to it that', Complete axiomatization and decidability of alternating-time temporal logic, Ten Problems of Deontic Logic and Normative Reasoning in Computer Science, Reasoning about coalitional games, ON THE COMPLEXITY OF COALITIONAL REASONING, HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description), A complete coalition logic of temporal knowledge for multi-agent systems, Logic and social cognition. The facts matter, and so do computational models, The undecidability of quantified announcements, The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Dynamic coalition logic: granting and revoking dictatorial powers, Coalition Description Logic with Individuals, Data-informed knowledge and strategies, Logics with group announcements and distributed knowledge: completeness and expressive power, A logic for conditional local strategic reasoning, First-order classical modal logic, Unnamed Item, Resolving distributed knowledge, Variants of multi-relational semantics for propositional non-normal modal logics, Social laws in alternating time: effectiveness, feasibility, and synthesis, Complexity results of STIT fragments, Reasoning About Strategies, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Non-normal modalities in variants of linear logic, Game theoretical semantics for some non-classical logics, Quantification in some non-normal modal logics, MULTI-AGENT COOPERATION VIA REASONING ABOUT THE BEHAVIOR OF OTHERS, Cut elimination in coalgebraic logics, Completeness of a branching-time logic with possible choices, Arbitrary public announcement logic with memory, ACTION TYPES IN STIT SEMANTICS, Hybrid logic with the difference modality for generalisations of graphs, Probabilistic stit logic and its decomposition, A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’, Coalgebraic semantics of modal logics: an overview, Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism, Together we know how to achieve: an epistemic logic of know-how, Unnamed Item, Unnamed Item, A first-order coalition logic for BDI-agents, A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory, Making a start with the stit logic analysis of intentional action, Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity, Propositional dynamic logic for searching games with errors, Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol, Common knowledge of payoff uncertainty in games, On the logic of cooperation and propositional control, Coalition formation in social environments with logic-based agents1, Alternative axiomatics and complexity of deliberative STIT theories, Quantified Coalition Logic of Knowledge, Belief and Certainty, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Coalition and relativised group announcement logic, Planning-based knowing how: a unified approach, Epistemic GDL: a logic for representing and reasoning about imperfect information games, Strategic reasoning with a bounded number of resources: the quest for tractability, Price of privacy, Blame it on me, Probabilistic Stit Logic, An epistemic logic of blameworthiness, The virtues of idleness: a decidable fragment of resource agent logic, Refining strategic ability in alternating-time temporal logic, Strategic reasoning: building cognitive models from logical formulas, QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS, A logic for reasoning about counterfactual emotions, Deontic epistemic stit logic distinguishing modes of mens rea, Group announcement logic, LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS, A dynamic logic of agency. I: STIT, capabilities and powers, A Complete STIT Logic for Knowledge and Action, and Some of Its Applications, Qualitative criteria of admissibility for enforced agreements, Model Checking Strategic Equilibria, Knowing-how under uncertainty, Coalgebraic Hybrid Logic, A logic of strategic ability under bounded memory, Unnamed Item, On composition of bounded-recall plans, Alternating-Time Temporal Announcement Logic, Reasoning about Joint Action and Coalitional Ability in K n with Intersection, A Dynamic Logic of Institutional Actions, On a Logic for Coalitional Games with Priced-Resource Agents, CoLoSS: The Coalgebraic Logic Satisfiability Solver, A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains, EXPTIME Tableaux for the Coalgebraic μ-Calculus, On the Reconciliation of Logics of Agency and Logics of Event Types, Quantificational modal logic with sequential Kripke semantics, Constructive knowledge: what agents can achieve under imperfect information, A logical characterisation of qualitative coalitional games, Verification and strategy synthesis for coalition announcement logic, Reasoning about cooperation, actions and preferences, Knowing the price of success, Verification of multi-agent systems with public actions against strategy logic, On obligations and normative ability: Towards a logical analysis of the social contract, Representing and reasoning about game strategies, A modal logic of epistemic games, Admissibility of Cut in Coalgebraic Logics, On the computational complexity of qualitative coalitional games
