Pages that link to "Item:Q1420807"

The following pages link to Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807):

Displaying 23 items.

• Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
• (Q3384085) (← links)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
• What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics (Q3400789) (← links)
• Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
• Stability under Strategy Switching (Q3576071) (← links)
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
• Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
• A logical characterisation of qualitative coalitional games (Q3647281) (← links)
• Intentions and potential intentions revisited (Q4583169) (← links)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
• BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
• Intelligence in Strategic Games (Q5154729) (← links)
• Logics for Dynamic Epistemic Behavioral Strategies (Q5213672) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
• DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES (Q5396049) (← links)
• A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)
• Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
• DOING WITHOUT ACTION TYPES (Q6153157) (← links)
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)