A Modal Logic for Coalitional Power in Games
From MaRDI portal
Recommendations
- Logics for Qualitative Coalitional Games
- Modal extensions of Łukasiewicz logic for modelling coalitional power
- A logical characterisation of qualitative coalitional games
- Reasoning about coalitional games
- Logic for coalitions with bounded resources
- scientific article; zbMATH DE number 1931676
- On a logic for coalitional games with priced-resource agents
- A modal logic of epistemic games
- Coalition games over Kripke semantics: expressiveness and complexity
- Łukasiewicz logics for cooperative games
Cited in
(only showing first 100 items - show all)- A logic of strategic ability under bounded memory
- Quantified coalition logic
- Reasoning about cooperation, actions and preferences
- A complete coalition logic of temporal knowledge for multi-agent systems
- Resolving distributed knowledge
- Quantification in some non-normal modal logics
- Together we know how to achieve: an epistemic logic of know-how
- A first-order coalition logic for BDI-agents
- Complexity results of STIT fragments
- Probabilistic stit logic and its decomposition
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- Blame it on me
- An epistemic logic of blameworthiness
- A modal logic for mixed strategies
- On composition of bounded-recall plans
- Verification and strategy synthesis for coalition announcement logic
- Choice-driven counterfactuals
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Dynamic coalition logic: granting and revoking dictatorial powers
- Data-informed knowledge and strategies
- Logics with group announcements and distributed knowledge: completeness and expressive power
- A logic for conditional local strategic reasoning
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- 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
- Strategic reasoning: building cognitive models from logical formulas
- A dynamic logic of agency. I: STIT, capabilities and powers
- Knowing-how under uncertainty
- Towards a logic for conditional local strategic reasoning
- Representing and reasoning about game strategies
- A modal logic of epistemic games
- Complete axiomatization and decidability of alternating-time temporal logic
- On the logic of cooperation and propositional control
- Qualitative criteria of admissibility for enforced agreements
- On obligations and normative ability: Towards a logical analysis of the social contract
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Arbitrary public announcement logic with memory
- On a logic for coalitional games with priced-resource agents
- Admissibility of cut in coalgebraic logics
- A resolution-based calculus for coalition logic
- Reasoning about strategies: on the model-checking problem
- Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
- Modal extensions of Łukasiewicz logic for modelling coalitional power
- Higher-order coalition logic
- Coalition games over Kripke semantics: expressiveness and complexity
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Probabilistic stit logic
- Alternating-time temporal announcement logic
- Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
- A dynamic logic of institutional actions
- The undecidability of quantified announcements
- Logic for coalitions with bounded resources
- Ten problems of deontic logic and normative reasoning in computer science
- Coalition description logic with individuals
- Multi-agent cooperation via reasoning about the behavior of others
- Quantified coalition logic of knowledge, belief and certainty
- Coalition and group announcement logic
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- Model Checking Strategic Equilibria
- Coalgebraic Hybrid Logic
- Logics for Qualitative Coalitional Games
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Modal Logics for Preferences and Cooperation: Expressivity and Complexity
- Quantificational modal logic with sequential Kripke semantics
- Constructive knowledge: what agents can achieve under imperfect information
- A logical characterisation of qualitative coalitional games
- A cooperation logic for declaration structures
- Getting together: a unified perspective on modal logics for coalitional interaction
- Variants of multi-relational semantics for propositional non-normal modal logics
- Non-normal modalities in variants of linear logic
- Game theoretical semantics for some non-classical logics
- ACTION TYPES IN STIT SEMANTICS
- scientific article; zbMATH DE number 1931676 (Why is no real title available?)
- Propositional dynamic logic for searching games with errors
- ON THE COMPLEXITY OF COALITIONAL REASONING
- Logics and algebras for multiple players
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- CoLoSS: the coalgebraic logic satisfiability solver
- A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
- On the reconciliation of logics of agency and logics of event types
- A resolution prover for coalition logic
- Constructive game logic
- Price of privacy
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Nash equilibrium and bisimulation invariance
- The virtues of idleness: a decidable fragment of resource agent logic
- Coalition formation in social environments with logic-based agents1
- Intelligence in strategic games
- Embedding coalition logic in the minimal normal multimodal logic with intersection
- Logic and Game Theory
- Refining strategic ability in alternating-time temporal logic
This page was built for publication: A Modal Logic for Coalitional Power in Games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329525)
