An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- 1 January 2011
- journal article
- Published by Taylor & Francis Ltd in Journal of Applied Non-Classical Logics
- Vol. 21 (1)
- https://doi.org/10.3166/jancl.21.93-131
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Model Checking Abilities of Agents: A Closer LookTheory of Computing Systems, 2007
- Model Checking on Trees with Path EquivalencesPublished by Springer Science and Business Media LLC ,2007
- Constructive knowledge: what agents can achieve under imperfect informationJournal of Applied Non-Classical Logics, 2007
- Complete axiomatization and decidability of Alternating-time temporal logicTheoretical Computer Science, 2006
- Alternating-time logic with imperfect recallElectronic Notes in Theoretical Computer Science, 2004
- Comparing Semantics of Logics eor Multi-Agent SystemsSynthese, 2004
- Complete Axiomatizations for Reasoning about Knowledge and TimeSIAM Journal on Computing, 2004
- Alternating-time temporal logicJournal of the ACM, 2002
- Propositional temporal logics: decidability and completenessLogic Journal of the IGPL, 2000
- The complexity of two-player games of incomplete informationJournal of Computer and System Sciences, 1984