Pages that link to "Item:Q4329525"

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

Displaying 24 items.

• 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 (Q4982117) (← links)
• On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
• Constructive Game Logic (Q5041088) (← links)
• HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← links)
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
• (Q5111630) (← links)
• Coalition formation in social environments with logic-based agents1 (Q5145446) (← links)
• Intelligence in Strategic Games (Q5154729) (← links)
• Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
• Logic and Game Theory (Q5249678) (← links)
• (Q5875397) (← links)
• To be announced (Q6040661) (← links)
• Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
• The logic of secrets and the interpolation rule (Q6133700) (← links)
• Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)
• Reasoning about dependence, preference and coalitional power (Q6191139) (← links)
• Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)
• Error, consistency and triviality (Q6495246) (← links)
• CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
• Non-normal Modal description logics (Q6545543) (← links)
• Action models for coalition logic (Q6550523) (← links)
• Actual cause and chancy causation in \textit{stit}: a preliminary account (Q6629070) (← links)
• No finite model property for logics of quantified announcements (Q6642571) (← links)