Complete axiomatization and decidability of alternating-time temporal logic
From MaRDI portal
Publication:2368988
Recommendations
Cites work
- A Modal Logic for Coalitional Power in Games
- Alternating-time temporal logic
- An automata-theoretic approach to branching-time model checking
- ATL Satisfiability is Indeed EXPTIME-complete
- Comparing semantics of logics for multi-agent systems
- Computer science today. Recent trends and developments
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 2088152 (Why is no real title available?)
- Rudiments of \(\mu\)-calculus
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
Cited in
(44)- A logic of strategic ability under bounded memory
- A complete coalition logic of temporal knowledge for multi-agent systems
- Together we know how to achieve: an epistemic logic of know-how
- A first-order coalition logic for BDI-agents
- Dependences in strategy logic
- On composition of bounded-recall plans
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Data-informed knowledge and strategies
- Knowing-how under uncertainty
- Natural strategic ability
- From oughts to goals: a logic for Enkrasia
- Alternating-time temporal logic ATL with finitely bounded semantics
- Representing and reasoning about game strategies
- A logic with revocable and refinable strategies
- Action and knowledge in alternating-time temporal logic
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Alternating-time temporal announcement logic
- Specification and Verification of Multi-Agent Systems
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
- Dependences in strategy logic
- Ordered resolution for coalition logic
- Proving ATL* Properties of Infinite-State Systems
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
- Game Quantification Patterns
- scientific article; zbMATH DE number 6863862 (Why is no real title available?)
- Game-Theoretic Semantics for Alternating-Time Temporal Logic
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Intelligence in strategic games
- A complete axiomatisation for quantifier-free separation logic
- Alternating-time temporal logic in the calculus of (co)inductive constructions
- Embedding coalition logic in the minimal normal multimodal logic with intersection
- Differential game logic
- Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)
- The logic of joint ability in two-player tacit games
- Formal modelling and verification of probabilistic resource bounded agents
- Completeness of a branching-time logic with possible choices
- The alternating-time -calculus with disjunctive explicit strategies
- Next-time coalition logic
- Trigger-based discretization of hybrid games for autonomous cyber-physical systems
- A logic of higher-order preferences
- Complete axiomatization and decidability of the logic of two-agent cooperative strategic interaction
- Generalized alternating-time temporal logics. I: Semantics
- Deductive verification of alternating systems
This page was built for publication: Complete axiomatization and decidability of alternating-time temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368988)
