Pages that link to "Item:Q4329525"

The following pages link to A Modal Logic for Coalitional Power in Games (Q4329525):

Displaying 50 items.

• Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
• The undecidability of quantified announcements (Q310079) (← links)
• Propositional dynamic logic for searching games with errors (Q472791) (← links)
• Price of privacy (Q504512) (← links)
• The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
• Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
• A logic for reasoning about counterfactual emotions (Q543627) (← links)
• Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
• Cut elimination in coalgebraic logics (Q618171) (← links)
• Completeness of a branching-time logic with possible choices (Q622622) (← links)
• Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• Making a start with the stit logic analysis of intentional action (Q652741) (← links)
• Knowing the price of success (Q785233) (← links)
• Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
• On the computational complexity of qualitative coalitional games (Q814613) (← links)
• Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
• Reasoning about coalitional games (Q834401) (← links)
• Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
• First-order classical modal logic (Q863182) (← links)
• Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
• Common knowledge of payoff uncertainty in games (Q934775) (← links)
• Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
• Group announcement logic (Q975877) (← links)
• A logic of strategic ability under bounded memory (Q1006515) (← links)
• Reasoning about cooperation, actions and preferences (Q1036058) (← links)
• A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
• Resolving distributed knowledge (Q1677430) (← links)
• Quantification in some non-normal modal logics (Q1685158) (← links)
• Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
• A first-order coalition logic for BDI-agents (Q1712430) (← links)
• Complexity results of STIT fragments (Q1928487) (← links)
• Probabilistic stit logic and its decomposition (Q1951297) (← links)
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
• Blame it on me (Q1986083) (← links)
• An epistemic logic of blameworthiness (Q1989408) (← links)
• On composition of bounded-recall plans (Q2046034) (← links)
• Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
• Choice-driven counterfactuals (Q2121480) (← links)
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
• Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
• Data-informed knowledge and strategies (Q2152494) (← links)
• Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
• A logic for conditional local strategic reasoning (Q2155205) (← links)
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
• Coalition and relativised group announcement logic (Q2236503) (← links)
• Planning-based knowing how: a unified approach (Q2238589) (← links)
• Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
• Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)