Pages that link to "Item:Q2368988"

The following pages link to Complete axiomatization and decidability of alternating-time temporal logic (Q2368988):

Displaying 36 items.

• Completeness of a branching-time logic with possible choices (Q622622) (← links)
• Deductive verification of alternating systems (Q939163) (← links)
• A logic of strategic ability under bounded memory (Q1006515) (← links)
• A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← 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)
• Dependences in strategy logic (Q1987514) (← links)
• On composition of bounded-recall plans (Q2046034) (← links)
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
• Data-informed knowledge and strategies (Q2152494) (← links)
• Knowing-how under uncertainty (Q2289005) (← links)
• Natural strategic ability (Q2289013) (← links)
• From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
• Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
• Representing and reasoning about game strategies (Q2341262) (← links)
• A logic with revocable and refinable strategies (Q2346411) (← links)
• Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
• Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
• Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (Q3192199) (← links)
• Dependences in Strategy Logic (Q3304133) (← links)
• Ordered Resolution for Coalition Logic (Q3455769) (← links)
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
• Game Quantification Patterns (Q3601804) (← links)
• (Q4636296) (← links)
• Game-Theoretic Semantics for Alternating-Time Temporal Logic (Q4691736) (← links)
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
• Intelligence in Strategic Games (Q5154729) (← links)
• (Q5155678) (← links)
• Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
• Differential Game Logic (Q5277902) (← links)
• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺ (Q5277905) (← links)
• THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
• Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)