Pages that link to "Item:Q4329525"
From MaRDI portal
The following pages link to A Modal Logic for Coalitional Power in Games (Q4329525):
Displaying 50 items.
- 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)
- Strategic reasoning: building cognitive models from logical formulas (Q2255230) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- A modal logic of epistemic games (Q2344955) (← links)
- Complete axiomatization and decidability of alternating-time temporal logic (Q2368988) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Qualitative criteria of admissibility for enforced agreements (Q2509080) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- On a logic for coalitional games with priced-resource agents (Q2825419) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- A resolution-based calculus for Coalition Logic (Q2937697) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Modal extensions of Łukasiewicz logic for modelling coalitional power (Q2987045) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Probabilistic Stit Logic (Q3011971) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)
- Logic for coalitions with bounded resources (Q3103974) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- MULTI-AGENT COOPERATION VIA REASONING ABOUT THE BEHAVIOR OF OTHERS (Q3224342) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- (Q3384067) (← links)
- (Q3384085) (← links)
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics (Q3400789) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS (Q3580684) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Logics for Qualitative Coalitional Games (Q3636791) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- ON THE COMPLEXITY OF COALITIONAL REASONING (Q4795949) (← links)
- LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS (Q4933595) (← links)
- (Q4972730) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
