Complete axiomatization and decidability of alternating-time temporal logic

From MaRDI portal
Publication:2368988

DOI10.1016/j.tcs.2005.07.043zbMath1089.03013OpenAlexW2160254449MaRDI QIDQ2368988

Govert van Drimmelen, Valentin F. Goranko

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.07.043




Related Items

Differential Game LogicOptimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +Specification and Verification of Multi-Agent SystemsA complete coalition logic of temporal knowledge for multi-agent systemsAn alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checkingThe Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer GamesOrdered Resolution for Coalition LogicUndecidability of QLTL and QCTL with two variables and one monadic predicate letterComplexity of finite-variable fragments of propositional temporal and modal logics of computationData-informed knowledge and strategiesDependences in Strategy LogicCompleteness of a branching-time logic with possible choicesTHE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMESFormal modelling and verification of probabilistic resource bounded agentsTogether we know how to achieve: an epistemic logic of know-howA first-order coalition logic for BDI-agentsDeductive verification of alternating systemsIntelligence in Strategic GamesDependences in strategy logicAction and knowledge in alternating-time temporal logicModel-Checking Strategic Ability and Knowledge of the Past of Communicating CoalitionsGame Quantification PatternsKnowing-how under uncertaintyNatural strategic abilityA logic of strategic ability under bounded memoryOn composition of bounded-recall plansEmbedding Coalition Logic in the Minimal Normal Multimodal Logic with IntersectionFrom oughts to goals: a logic for EnkrasiaAlternating-Time Temporal Announcement LogicAlternating-time temporal logic ATL with finitely bounded semanticsUnnamed ItemRepresenting and reasoning about game strategiesA logic with revocable and refinable strategies



Cites Work


This page was built for publication: Complete axiomatization and decidability of alternating-time temporal logic